コベリティ

コベリティ (Coverity) 、またはカバリティは、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。

もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた^[1]。日本でも2005年に代理店を通じて販売を開始し^[2]、2007年12月から日本支社を設立し^[3]直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し^[4]、現在は同社が開発・販売している。

2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた^[5]。

Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。

また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である^[6]。