Slashdotで静的解析ツールの話題がでていたので忘れないうちに転載。もう完全に自分用
静的解析ツールはそこそこ役に立つ．
FindBugs [sourceforge.net]
PMD [sourceforge.net]
Lint4j [jutils.com]
codewizard [techmatrix.co.jp]
DevPartner Studio Professional Edition [compuware.co.jp]
COReTOOL/PGRelief [fujitsu.com]
QAC [toyo.co.jp]
QAC++ [toyo.co.jp]
などなど…
C/C++向けで自由にルールが作成できるオープンソースの実装は無いものか．
オープンソースの静的解析ツールでしたら、
Splint [splint.org]
RATS [securesoftware.com]
Uno [spinroot.com]
などが有りますね。
UnoはCにしか対応していませんが、自分でルールを書けるようです。
O'ReillyのSecure Coding: Principles & Practices [securecoding.org]に、
静的解析以外の(動的解析など)ツールも含めて色々載ってます。