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

生成されたコードの要件を使用 (-misra-c-2023-agc-mode)

生成されたコードに適用される MISRA C:2023 ルールおよび命令に対する違反のチェック

R2024a 以降

説明

自動生成されたコードに MISRA C™:2023 カテゴリを使用するかどうか指定します。このオプションはどのルールが必須、必要、推奨かを変更します。

オプションの設定

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

  • Polyspace® ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成で [コーディング規約およびコード メトリクス] ノードを選択してから、このオプションの値を選択します。最初に有効にしなければならない他のオプションについては、依存関係を参照してください。

  • Polyspace Platform ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成の [静的解析] タブで [欠陥とコーディング規約] を選択してから、このオプションを選択します。最初に有効にしなければならない他のオプションについては、依存関係を参照してください。

  • コマンド ラインとオプション ファイル: オプション -misra-c-2023-agc-mode を使用します。コマンド ライン情報を参照してください。

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

このオプションを使用して、生成されたコードで MISRA C:2023 ルールをチェックすることを指定します。このオプションは MISRA C:2023 サブセットを変更し、生成されたコードに合わせて調整します。

設定

オフ (既定の設定)

MISRA C:2023 コーディング ガイドライン チェックには通常のカテゴリ (必須、必要、推奨) を使用します。

オン (Simulink® からの解析に対する既定の設定)

MISRA C:2023 コーディング ガイドライン チェックには生成されたコード カテゴリ (必須、必要、推奨、可読性) を使用します。

Simulink の Polyspace Verifier アプリから開始した解析では、このオプションが既定値です。

 Advisory へのカテゴリ変更

 Readability へのカテゴリ変更

依存関係

このオプションを使用するには、1 つ以上の MISRA C:2023 ルールを有効にします。MISRA C:2023 ルールを有効にするには、次のいずれかを使用します。

XML ファイルを使用してカスタム選択を指定する際に、ファイル内で 1 つ以上の MISRA C:2023 ルールを選択します。

コマンド ライン情報

コマンド ラインでコマンド -misra-c-2023-agc-mode を使用して、生成されたコードに適用される MISRA C:2023 ルールおよび命令の違反をチェックします。

パラメーター: -misra-c-2023-agc-mode
既定値: オフ
例 (Bug Finder): polyspace-bug-finder -sources file_name -misra-c-2023 all -misra-c-2023-agc-mode
例 (Bug Finder Server): polyspace-bug-finder-server -sources file_name -misra-c-2023 all -misra-c-2023-agc-mode

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

バージョン履歴

R2024a で導入

参考

|

トピック