MISRA C++:2008 をチェック (`-misra-cpp`)

MISRA C++ ルールに対する違反のチェック

説明

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

オプションの設定

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

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

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

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

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

設定

既定値: required-rules

required-rules

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

all-rules

必要なコーディングルールおよび勧告コーディングルールをチェックします。

SQO-subset1

MISRA C++ ルールのサブセットのみをチェックします。詳細は、MISRA コーディング規約のソフトウェア品質目標サブセットを参照してください。

SQO-subset2

SQO-subset1 および追加のルールを含むルールのサブセットをチェックします。詳細は、MISRA コーディング規約のソフトウェア品質目標サブセットを参照してください。

from-file

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

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

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

依存関係

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

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

コマンドライン情報

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

パラメーター: -misra-cpp

値: required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file

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

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

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

バージョン履歴

すべて展開する

R2021b: コーディングルールファイルに対するテキスト形式の使用はサポートされません

R2019a 以降、コーディング規約チェッカーのカスタム選択を定義するファイルでは XML 形式を使用します。この目的でのテキスト形式の使用はエラーになります。Polyspace でサポートされるすべてのコーディング規約のカスタム選択を同じファイルに保存できます。

デスクトップインターフェイス:

テキスト形式のカスタムコーディング規約選択ファイルを含むプロジェクトがある場合、Polyspace はそれらのファイルを自動的に更新して単一の XML ファイルに統合します。同じカスタム選択ファイルを参照する競合する構成がプロジェクトにある場合、各構成の統合されたコーディング規約選択が個別の XML ファイルに保存されます。

テキストファイルを XML 形式に手動で更新するには、[構成] ペインの [コーディング規約およびコードメトリクス] ノードでをクリックします。[チェッカーの選択] ウィンドウで、ファイルを選択して [変更の保存] をクリックします。Polyspace によってファイルが単一の XML ファイルに統合され、このファイルが filename.xml として保存されます。ここで、filename は、選択したファイルの名前のうちアルファベット順で最初の名前です。たとえば、foo.conf と bar.conf を選択した場合、bar.conf.xml として保存されます。

コマンドライン:

コマンドラインまたは IDE 拡張機能では、-misra-cpp への入力としてテキストファイルを使用するとエラーになります。MISRA C++:2008 ルールのカスタム選択を選択するには、XML ファイルを使用します。

ファイル misra_cpp_2008_rules.xml をテンプレートとして使用し、コーディング規約チェッカーのカスタム選択を定義する XML ファイルを作成します。このテンプレートファイルは polyspaceroot\polyspace\examples\doc_cxx\coding_standards_XML にあります。ここで、polyspaceroot は Polyspace 製品のルートインストールフォルダーです。たとえば、C:\Program Files\Polyspace\R2025a です。スクリプトを更新する場合は、次の表を参照してください。

オプション	代わりに使用
`-misra-cpp "custom_standard.conf"`	`-checkers-selection-file misra_cpp_2008_rules.xml -misra-cpp from-file`

メモ

チェッカーの構成ファイルの形式は XML ですが、将来のリリースで変更される可能性があります。

XML 形式の構成ファイルの例

R2019b: テキスト形式を使用したコーディングルールファイルのサポートは終了します

R2019a 以降、コーディング規約チェッカーのカスタム選択を定義するファイルでは XML 形式を使用します。Polyspace でサポートされるすべてのコーディング規約のカスタム選択を同じファイルに保存できます。テキストファイルを使用すると、Polyspace が警告を出し、テキストファイルが XML に変換されます。

参考

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

トピック

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

MISRA C++:2008 をチェック (-misra-cpp)

説明