Polyspace Access Web インターフェイスの構成設定

[使用されている構成] ペインには、現在選択されているプロジェクトでの結果を生成するために有効にされたオプションとチェッカーが表示されます。[オプション] タブに、ユーザーが指定したオプションと、既定で有効になっているオプションが示されます。

[ウィンドウ] 、 [使用されている構成] に移動して、[使用されている構成] ペインを開きます。

[チェッカー] をクリックして、以下に対して有効になっているチェッカーを確認します。

• コーディング規約 (Polyspace Bug Finder) (MISRA C™:2012 など)。

• カスタム コーディング ルール (Polyspace Bug Finder).

有効になっているコーディング規約またはカスタム コーディング ルールがない場合、Code Prover プロジェクトに対して [チェッカー] は使用できません。