MISRA C++:2023 のチェック (`-misra-cpp-2023`)

MISRA C++:2023 ルールおよび命令に対する違反のチェック

R2024b 以降

説明

MISRA™ C++:2023 ルールおよび命令に対する違反をチェックするかどうかを指定します¹ .オプションのそれぞれの値はチェックするルールのサブセットに対応します。

オプションの設定

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

Polyspace^® ユーザーインターフェイス (デスクトップ製品のみ): プロジェクト構成で [コーディング規約およびコードメトリクス] ノードを選択してから、このオプションの値を選択します。最初に有効にしなければならない他のオプションについては、依存関係を参照してください。
Polyspace Platform ユーザーインターフェイス (デスクトップ製品のみ): このオプションは、プロジェクト構成には存在していません。チェッカーを有効にするには、オプション [カスタムチェッカーファイルを使用] と [チェッカーアクティベーションファイル] (-checkers-activation-file) を使用します。
コマンドラインとオプションファイル: オプション -misra-cpp-2023 を使用します。コマンドライン情報を参照してください。

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

このオプションを使用して、Polyspace がチェックする MISRA C++:2023 ルールおよび命令のサブセットを指定します。

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

設定

既定値: mandatory-required

mandatory

必須のガイドラインをチェックします。

mandatory-required

必須および必要なガイドラインをチェックします。

必須のガイドライン:コードはこのガイドラインに準拠しなければなりません。
必要なガイドライン:このガイドラインから逸脱してもかまいません。ただし、規則に従った逸脱記録を完成させなければなりません。また、逸脱に対して認定を受けなければなりません。

single-unit-rules

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

system-decidable-rules

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

all

必須、必要、推奨ガイドラインをチェックします。

from-file

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

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

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

依存関係

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

プロジェクトで C コードと C++ コードが混在する場合、MISRA C++:2023 チェッカーが解析するのは .cpp ファイルのみです。

コマンドライン情報

コマンドラインでコマンド -misra-cpp-2023 を使用して、MISRA C++ ルールの違反をチェックします。

パラメーター: -misra-cpp-2023

例 (Bug Finder): polyspace-bug-finder -sources file_name -misra-cpp-2023 all

例 (Bug Finder Server): polyspace-bug-finder-server -sources file_name -misra-cpp-2023 all

または、チェッカーアクティベーション XML ファイルを使用して、すべてのまたは特定の MISRA C++:2023 ルールを有効にします。チェッカーアクティベーションファイル (-checkers-activation-file) を参照してください。

バージョン履歴

R2024b で導入

参考

次に対する結果を生成しない (-do-not-generate-results-for)

トピック

¹ MISRA is a registered trademark of MIRA Ltd., held on behalf of the MISRA Consortium.

MISRA C++:2023 のチェック (-misra-cpp-2023)

説明