otk曰く、"Linuxカーネル2.6.16がリリースされました(Changelog)。LWN.netの記事によれば、OCFS2(Oracleクラスタ・ファイルシステム2)が新たに取り込まれている。その他、詳しいことは識者の皆様におまかせします (^^;。ダウンロードはjpミラーからどうぞ。"
Coverity チェックも着実に (スコア:4, 参考になる)
(データベース閲覧には登録が必要) も、着実につぶしていって
いるようですね。重大な問題はだいぶ前にゼロになったのですが、
細かい問題まで解消されて、品質が高まっているようです。
FlawFinder [dwheeler.com] とか ITS4 [cigital.com]
なんてのは試したことがありますが、Coverity って
どんな感じなんでしょうね。無料お試し [coverity.com] は
会社に来て実施してもらうタイプだから、見たこともないんです。
Re:Coverity チェックも着実に (スコア:5, 参考になる)
この手のツールでは、PurifyやBoundsCheckerを昔試したことがあるけど、網羅的に検査したり、引数レンジを洗うには相当ノウハウが要る。Coverity のは静的だから、網羅的に検査してくれるし、引数レンジなんかも指摘するので、すげー、と思ったわけね。
まあ、定常的に使ってる訳ではないので、値段相応か、といわれたら判らんけどね。
の
spufs (スコア:3, 参考になる)
OSCF2 (スコア:1)