Splint C言語の静的解析ツール
C言語のソースの静的解析ができるという
Splintというツールを使ってみました。
http://www.splint.org/
3.1.1ですが、windows用バイナリがありました。
http://www.splint.org/win32.html
実行方法
コマンドプロンプトを開き
splint XXX.c >> ana.log
これで出力されます。
splint -weak XXX.c >> anaweak.log
で少し出力される量が減ります。
splint -weak (低)
splint -standard (デフォルト)
splint -checks (高)
splint -strict (全ての項目)
http://www.freeml.com/bugc/120/latest