静的プログラム解析ツールの実力は？ | スラド IT組み込み系の開発では様々なベンダーが次世代静的プログラム解析ツールともいえる製品を開発し、世に送り出している（本家/.記事）。これらツールはNULLポインタ参照やバッファオーバーフローの脆弱性、競合状態やメモリリークなどを検知できるとされている。本家では、Linuxカーネルで使われているsparseのほか、FindBugsや、DoubleCheck、Identify critical defectsなどといったツールが話に出ている。 実際、次世代静的プログラム解析ツールを導入することで開発方法やテストサイクルに変化はあるのだろうか？ 新しい解析ツールは既存のものよりそんなに実力が違うのだろうか？ 諸氏のご意見を求む。
