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

MISRA AC AGC のチェック (-misra-ac-agc)

(削除予定) MISRA AC AGC ルールに対する違反のチェック

MISRA™ AC AGC に対する違反のチェックは、将来のリリースで削除される予定です。代わりに、MISRA C:2023 規約では、オプション [生成されたコードの要件を使用] (-misra-c-2023-agc-mode) を使用してください (R2024b 以降)。詳細は、バージョン履歴を参照してください。

説明

MISRA AC AGC Guidelines for the Application of MISRA-C:2004 in the Context of Automatic Code Generation で指定されているルールに対する違反をチェックするかどうかを指定します。オプションのそれぞれの値はチェックするルールのサブセットに対応します。

生成されたコードに適用される MISRA C™:2012 ルールをチェックするには、[生成されたコードの要件を使用] (-misra3-agc-mode) オプションを使用します。

オプションの設定

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

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

このオプションを使用して、チェックする MISRA C:2004 AC AGC ルールのサブセットを指定します。

解析後、[結果のリスト] ペインにコーディング規約違反がリストされます。[ソース] ペインでは、Polyspace はすべてのコーディング ルール違反に対し、 シンボルを関連するキーワードまたは識別子に割り当てます。

設定

既定値: OBL-rules

OBL-rules

必要なコーディング ルールをチェックします。

OBL-REC-rules

必要ルールおよび推奨ルールをチェックします。

single-unit-rules

単一の翻訳単位のみに適用するルールのサブセットをチェックします。これらのルールは解析のコンパイル段階でチェックされます。

system-decidable-rules

single-unit-rules サブセット内のルールとプログラム ファイルのセット全体に適用する一部のルールをチェックします。追加のルールは、統合段階で適用する複雑度の低いルールです。これらのルールは複数の翻訳単位に関連するため、統合段階でのみチェックできます。これらのルールは解析のコンパイル段階およびリンク段階でチェックされます。

all-rules

必要ルール、推奨ルールおよび可読性関係のルールをチェックします。

SQO-subset1

ルールのサブセットをチェックします。

SQO-subset2

SQO-subset1 および追加のルールを含むルールのサブセットをチェックします。

from-file

このコーディング規約のチェッカーのカスタム選択が設定されている XML ファイルを指定します。構成ファイルを作成するには、 をクリックして、[チェッカーの選択] ウィンドウの右側のペインから、このコーディング規約に対してチェックするルールと推奨事項を選択します。ファイルを保存します。

既存の構成ファイルを使用または更新するには、[チェッカーの選択] ウィンドウで所定のフィールドにファイルへの絶対パスを入力するか、[参照] をクリックします。

オプションを [from-file] に設定する場合、[ファイルごとにチェッカーを設定] (-checkers-selection-file) を有効にします。

依存関係

  • このオプションは、[ソース コードの言語] (-lang) が [C] または [C-CPP] に設定されている場合にのみ使用できます。

    C コードと C++ コードが混在しているプロジェクトで、MISRA AC AGC チェッカーが解析するのは .c ファイルのみです。

  • [ソース コードの言語] (-lang) が [C-CPP] に設定されている場合は、C コーディング ルール チェッカーおよび C++ コーディング ルール チェッカーを有効にできます。C と C++ の両方のコーディング ルール チェッカーを有効にすると、結果の重複を回避するために、Polyspace ではリンク作成段階で検出された C コーディング ルール (MISRA C:2012 ルール 8.3 など) が生成されなくなります。

ヒント

オプション single-unit-rules または system-decidable-rules を選択してコーディング ルール違反のみを検出するように選択した場合、解析はその他のルールのチェックよりも短時間で完了する可能性があります。詳細は、解析の早い段階でチェックされるコーディング ルールのサブセットを参照してください。

コマンド ライン情報

コマンド ラインでコマンド -misra-ac-agc を使用して、MISRA AC AGC ルールの違反をチェックします。

パラメーター: -misra-ac-agc
値: OBL-rules | OBL-REC-rules | single-unit-rules | system-decidable-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file
例 (Bug Finder): polyspace-bug-finder -sources file_name -misra-ac-agc all-rules
例 (Bug Finder Server): polyspace-bug-finder-server -sources file_name -misra-ac-agc all-rules

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

バージョン履歴

すべて展開する

参考

| |

トピック