Coverity,inc.（コベリティ）は6月4日，C#言語をサポートする新製品「Coverity Prevent for C#」を発表した。出荷は7月の予定。価格は要問い合わせ。

同製品はコベリティが新たに開発した解析エンジンを利用し，Micosoftの.NETフレームワークをベースに構築されたアプリケーションの欠陥の検出を可能にするツール。簡単に導入可能で，コードへの変更，ハードウェアの追加は必要ない。

「Coverity Prevent for C#」の主な機能・特長は以下のとおり。

重大な欠陥の検出

クラッシュ，パフォーマンスの低下，およびプログラムの誤作動の原因となるC#ソースコード内の欠陥を自動検出

100％のパスカバレッジ

C#コードベースのすべてのパスを解析し，可能なすべての実行ブランチを追跡する

低い誤検出率

開発者に正確な対応処置が明示されることにより，コードの品質およびセキュリティ向上に寄与する

柔軟性の高いワークフロー

Defect Manager製品のインターフェースを利用して解析結果の表示，欠陥の選別，および責任者の割り当てなどをチーム内で行い，包括的なワークフローが形成できる

高いスケーラビリティ

何百万行ものコードを数時間で解析可能

コベリティ

URL：http://www.coverity.com/index_jp.html