アカウント名:
パスワード:
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ナニゲにアレゲなのは、ナニゲなアレゲ -- アレゲ研究家
コード分析方法 (スコア:2, 興味深い)
調べた方法は同等のものなの?
Coverityのコード分析ツールがろくにバグを抽出出来ない欠陥品な
だけの可能性はないの?
Re:コード分析方法 (スコア:2, 参考になる)
どうやら静的なソースコード検査ツールのようですね。
日本の会社でも何社か似たようなツールを出してるんで、誰かこれらの会社に声かけて、
ツール対決でもけしかければ面白いんじゃないかなぁ
あぁ、「ン」が消えてるんですよ。「ビーフン・カレー」ね。
Re:コード分析方法 (スコア:0)
詳しくはこのあたり [stanford.edu]を見てもらうとして、簡単に言うと、gccにコード検証を行う拡張を加えたものにソースを通すと、エラーが検出されるというものです。検証を行うコードはFUSEという言語で記述できて、手続き間に渡ってすべての実行パスについて、「freeした後でポインタを使用していない」といったパターンの検証を機械的にできるので、Linuxのような複雑なコードで有効なようです。