http://www.coverity.com/main.html
http://slashdot.jp/article.pl?sid=04/12/15/0018211&topic=2&mode=nested
http://japan.cnet.com/news/sec/story/0,2000050480,20079664,00.htm