このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

欠陥の検出 (-checkers -disable-checkers)

欠陥チェッカーの有効化または無効化

説明

このオプションは Bug Finder 解析のみに影響します。

バグ/コーディングの欠陥についてのチェッカーを有効にします。

オプションの設定

以下のいずれかの方法を使用してオプションを設定します。

このオプションを使用する理由

チェッカーの既定のセットは、ソフトウェア開発のほとんどの状況で最も意味のあるバグを検出するよう設計されています。具体的なニーズがある場合は、個別の欠陥チェッカーを有効または無効にします。たとえば、特定のセキュリティ標準に従う場合、チェッカーの別のサブセットを選択します。

設定

既定値: default

default

ソフトウェアで定義された欠陥のサブセット。

既定で有効な Polyspace Bug Finder 欠陥チェッカーを参照してください。

all

すべての欠陥。

すべての欠陥チェッカーのリストについては、欠陥を参照してください。

このオプションで [all] が指定されている場合でも、チェッカー SQL インジェクションおよび LDAP インジェクションは無効です。これらのチェッカーを明示的に有効にしなければなりません。

custom

チェッカーのカテゴリまたは特定の欠陥を選択して、検出する欠陥を選びます。

ヒント

スプレッドシートを使用すると、有効にする欠陥チェッカーを追跡し、他のチェッカーを有効にしない理由を説明するメモを追加できます。チェッカーのスプレッドシートは、polyspaceroot\polyspace\resources で提供されています。ここで、polyspaceroot は C:\Program Files\Polyspace\R2025a などの Polyspace インストール フォルダーです。

コマンド ライン情報

コマンド ラインでコマンド -checkers を使用して、欠陥チェッカーを有効または無効にします。

順序にかかわりなく、シェル スクリプトは -checkers オプションを処理してから -disable-checkers を処理します。

コマンド ライン パラメーターの値については、Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前を参照してください。

パラメーター: -checkers
値: default | all | none | Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前
既定値: default
パラメーター: -disable-checkers
値: Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前
例 1 (Bug Finder): polyspace-bug-finder -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
例 2 (Bug Finder): polyspace-bug-finder -sources filename -checkers default -disable-checkers concurrency,dead_code
例 1 (Bug Finder Server): polyspace-bug-finder-server -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
例 2 (Bug Finder Server): polyspace-bug-finder-server -sources filename -checkers default -disable-checkers concurrency,dead_code

または、アクティベーション XML ファイル内で欠陥チェッカーを有効にします。チェッカー アクティベーション ファイル (-checkers-activation-file) を参照してください。

バージョン履歴

すべて展開する

参考

| |

トピック