このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Bug Finder 解析
欠陥を検出するための解析オプション
欠陥チェッカーを有効または無効にするには、Bug Finder 解析オプションを使用します。
Polyspace オプション
欠陥の検出 (-checkers -disable-checkers) | 欠陥チェッカーの有効化または無効化 |
システムのすべての入力値を考慮する、さらに厳密なチェックを実行 (-checks-using-system-input-values) | さらに厳格なチェックを有効にし、欠陥の検出につながる値の例を提供する |
次の関数の入力を考慮する (-system-inputs-from) | 解析が考えられるすべての入力値を考慮する関数を指定する |
トピック
- Polyspace 解析オプションの指定
Polyspace® ユーザー インターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
- 特定の Bug Finder の欠陥チェッカーの選択
既定のチェッカーを使用する代わりに、Bug Finder で特定の欠陥をチェックする。
- Polyspace Bug Finder 解析用のチェッカー構成の準備
共通のチェッカー構成を展開して規約の統一を図り、欠陥チェッカーとコーディング ルール チェッカーを組み合わせる。
- Bug Finder チェッカーの既定の動作の変更
Polyspace 解析オプションを使用して、欠陥チェッカーまたはコーディング規約チェッカーの既定の動作を拡張または制限します。
- Modify Bug Finder Checkers Through Code Behavior Specifications
- Bug Finder チェッカーを使用した非推奨の関数または安全でない関数、キーワード、またはマクロのフラグ設定
- 標準ライブラリ関数用の Bug Finder チェッカーのカスタム ライブラリへの拡張
- 特定のシステム入力値から欠陥を見つけるための Bug Finder チェッカーの拡張
- サポートされていないマルチスレッド環境への同時実行欠陥チェッカーの拡張
- 関数引数のポインター渡しをチェックする初期化のためのチェッカーの拡張
- Extend Data Race Checkers to Atomic Operations
- 既定で有効な Polyspace Bug Finder 欠陥チェッカー
既定で有効になっている Bug Finder チェッカーのリストを確認する。
- Polyspace を使用した CWE コーディング規約カバレッジ
CWE の結果をカテゴリ別にグループ化して、
all-exact-checkersのリストを表示する。
