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

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

[Nao_u]

「coverityでは試用版を用意している」

[amokory]

ソースコード解析

[chihiroy]

こういうものもあるか。C#はまだか！

[adamrocker]

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