タグ

ソース解析に関するadamrockerのブックマーク (1)

  • @IT Special 数百万行におよぶソースコードをすばやく解析 誤検知を制御し、不具合が検出できるツール

    電子機器から社会インフラまで、さまざまな製品を支えているソースコード。電子機器が多機能になって便利になる一方で、その元となるソースコードは増大し、複雑になり続けている。 例えば、携帯電話のケースを考えてみよう。この携帯電話の中には、数百万行におよぶプログラムが入っている。その数百万行のコードの中に、たった1行のエラーや脆弱性があるだけで、さまざまな障害を起こす可能性がある。データが消えるような障害であれば、ユーザーに大きな損害を与え、回収作業が発生して社会にも多大な影響を及ぼす。そして、最も大きな損害は企業が信頼を失う点だろう。このような事態を避けるためには、「いかにすばやくソースコードを検証し、効率よくバグや脆弱性をなくしていけるか?」が求められる。 このようなニーズに応え、あらゆる企業のテストに掛かる負担を軽減できるのがcoverityの静的解析ツールだ。その魅力を紹介する。 開発現場

    adamrocker
    adamrocker 2007/04/19
    ソースコード解析により予めバグを検出するソフト。C++やJavaもサポートしているとのことなので、静的解析では検地できないバグも必ずある。むしろオブジェクト指向ではそういったバグの方が多い気がする。
  • 1