--- ここから ---

Splint - Secure Programming Lint
http://www.splint.org/

Download : Splint Version 3.1.2
http://www.splint.org/download.html

Splint Manual
http://www.splint.org/manual/

Mailing Lists
http://www.splint.org/lists.html

TERMS
http://ja.wikipedia.org/wiki/静的コード解析


　なかったので、スレッド作ったの。
情報少ないので、活発に交換されるとうれしいかも。

--- ここまで ---