静的プログラム解析ツールの実力は？ | スラド IT

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

[hiroomi]

”バグはでるものと割り切って、バグを多く出すレビュアを、 首にするなり、再教育するなり、調教するなり”

[SyncHack]

静的プログラム解析ツールについて。この手のツールに慣れると、逃げる技だけを習得し、結局バグが潰しにくくなるという。まあ人間性の問題だけど。