静的メモリチェッカ

C++

静的チェッカ http://futurismo.biz/archives/602 http://futurismo.biz/archives/607 http://kazunori-lab.com/uchikikase/?p=1233 (リンク切れ)

商用のコードの場合には脆弱性の問題や品質問題になりかねません。そのため高価な Fortify などのコード解析ツールを利用して危険性を自動チェックすることが義務付けられている会社も多い