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