コべリティ 日本支社
2009/8/18 更新

Prevent

Coverity Preventは、開発ライフサイクルの早期段階で、不具合を検出し、最高品質で信頼性の高いソフトウェア開発を保証するソースコード静的解析ツールです。これまで全世界で、Symantec、三菱電機、ACCESS、リコーといった企業が既存の開発プロセスにPreventを統合し、ソースコードの品質とセキュリティを確保しています。

一般的に静的解析ツールは構文チェックのみの機能となっておりますが、弊社のPreventは独自のGUI「DNAマップ解析」機能を使ってコード上のバグ(不具合)を高速かつ正確に検出します。今日利用できる静的解析ソリューションとして最も精度が高く、ソースコードに変更を加えたりシステムをビルドすることなく、C, C++, C#及びJavaを自動的に解析します。
ビルド環境とソースコードを完全に理解しているPreventは、柔軟で、深部に及ぶ正確なソースコード解析を必要としている開発ご担当者に最適なツールです。

−静的解析ツール Prevent の主な特長−
・フルパスを実行し網羅的にソースコードを解析
・各State間や関数間の依存関係を解析
・デバッグするかのようにソースコードをシミュレーション
・潜在的なバグを検知
・低い誤検知率(15%以下)

製品の詳細は下記ホームページでご覧いただけます。

http://www.coverity.com/html_ja/static-analysis.html

価格

お問合せください。

お問い合せ先

コべリティ 日本支社

セールス部

電話番号

03-5909-8838

メールアドレス

japan_sales@coverity.com

EISメール申し込み

発行人:MSC LTD 中村正規

編集:(株)P&Pビューロゥ

このサイトの利用(免責、著作権、個人情報)について