カスタムチェッカーファイルを使用

チェッカーはチェッカーアクティベーション XML ファイルを使用して指定する必要があることを指定します。

R2023b 以降

説明

この名前のオプションは、Polyspace Platform (Polyspace Test) ユーザーインターフェイスでのみ利用可能です。標準 Polyspace^® ユーザーインターフェイスにおける同等のオプションについては、ファイルごとにチェッカーを設定 (-checkers-selection-file) (コーディング規約チェッカー) または欠陥の検出 (-checkers -disable-checkers) (欠陥チェッカー) を参照してください。

Polyspace Bug Finder™ 欠陥チェッカーおよびコーディングルールチェッカーのカスタムセットを有効にするためにアクティベーションファイルを使用するかどうかを指定します。

オプションの設定

Polyspace Platform のプロジェクト構成の [静的解析] タブで [欠陥とコーディング規約] ノードを選択してから、このオプションを選択します。

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

チェッカーアクティベーションファイルは、Bug Finder 解析で、厳選した Bug Finder 欠陥チェッカーおよびコーディングルールチェッカーをアクティブにする XML ファイルです。このオプションを (オン) に設定すると、フィールド [チェッカーアクティベーションファイル] (-checkers-activation-file) で新規または既存のアクティベーションファイルを指定できます。