パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

Linuxカーネルは商用ソフトよりバグが少ない」記事へのコメント

  • で、Coverityとやらのコード分析ツールとカーネギーメロン大学が
    調べた方法は同等のものなの?

    Coverityのコード分析ツールがろくにバグを抽出出来ない欠陥品な
    だけの可能性はないの?
    • このコード分析ツールがどういうものなのか Coverityのページを見てもイマイチはっきりいしないんだけど、
      どうやら静的なソースコード検査ツールのようですね。

      日本の会社でも何社か似たようなツールを出してるんで、誰かこれらの会社に声かけて、
      ツール対決でもけしかければ面白いんじゃないかなぁ
      --
      あぁ、「ン」が消えてるんですよ。「ビーフン・カレー」ね。
      • by Anonymous Coward on 2004年12月15日 21時04分 (#666512)
        CoverityのツールはここのChief Scientistを兼務しているStanfordのEnglerの所の研究成果を元にした検査ツールですね。
        詳しくはこのあたり [stanford.edu]を見てもらうとして、簡単に言うと、gccにコード検証を行う拡張を加えたものにソースを通すと、エラーが検出されるというものです。検証を行うコードはFUSEという言語で記述できて、手続き間に渡ってすべての実行パスについて、「freeした後でポインタを使用していない」といったパターンの検証を機械的にできるので、Linuxのような複雑なコードで有効なようです。
        親コメント

ナニゲにアレゲなのは、ナニゲなアレゲ -- アレゲ研究家

処理中...