Coverity Prevent™ は、システムやプロセスのクラッシュ、メモリやリソースのリーク、ファイルやデータの破壊、およびその他の重大なパフォーマンス低下の原因となる欠陥または弱点を新規および既存のソース コードの中で見つけるためのチェック プログラムの包括的なライブラリを提供しています。Coverity Prevent は、先進のプロシージャ間データ フロー解析エンジンを使用し、すべてのパスを徹底的に解析し、問題をすばやく検知し修正するものです。

以下のチェックを行います。

• API の誤使用
• バッファ オーバーフロー
• ダングリング スタック参照
• 欠陥のあるブランチロジック
• 不適切な割り当てサイズ
• ロジック エラー
• メモリ リーク
• Null 以外で終了した文字列
• Null ポインタの参照解除
• 範囲外配列アクセス
• スタック オーバーフロー
• スタック破壊
• スタック文字列オーバーラン
• システム リソース リーク
• フリーリソースの使用
• 未初期化データの使用

以下の API をサポートしています。

• Standard C
• Standard C++
• Microsoft COM
• Microsoft Win32

Coverity Prevent のビジネス支援の詳細については、sales@coverity.com 宛てに御連絡をいただくか、米国国外であれば +1 415 321 5237、米国内であればフリーダイアル (800) 873-8193 にお電話をください。