MISRA C:2012 のチェック (`-misra3`)

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

説明

MISRA C™:2012 ガイドラインに対する違反をチェックするかどうかを指定します¹ オプションの各値はチェックすべきガイドラインのサブセットに対応します。

オプションの設定

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

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

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

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

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

設定

既定値: mandatory-required

mandatory

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

mandatory-required

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

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

メモ

必要なガイドラインの一部を無効にするには、[mandatory-required] の代わりに [custom] を選択します。特定のガイドラインをクリアするには、をクリックします。[コメント] 列に、ガイドラインを無効にする根拠を入力します。たとえば、ガイドラインの逸脱記録を示す逸脱 ID を入力します。根拠は、生成されたレポートに表示されます。

single-unit-rules

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

system-decidable-rules

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

all

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

SQO-subset1

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

SQO-subset2

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

from-file

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

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

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

依存関係

このオプションは、[ソースコードの言語] (-lang) が [C] または [C-CPP] に設定されている場合にのみ使用できます。
C コードと C++ コードが混在しているプロジェクトで、MISRA C:2012 チェッカーが解析するのは .c ファイルのみです。
[ソースコードの言語] (-lang) が [C-CPP] に設定されている場合は、C コーディングルールチェッカーおよび C++ コーディングルールチェッカーを有効にできます。C と C++ の両方のコーディングルールチェッカーを有効にすると、結果の重複を回避するために、Polyspace ではリンク作成段階で検出された C コーディングルール (MISRA C:2012 ルール 8.3 など) が生成されなくなります。

ヒント

オプション single-unit-rules または system-decidable-rules を選択してコーディングルール違反のみを検出するように選択した場合、解析はその他のルールのチェックよりも短時間で完了する可能性があります。詳細は、解析の早い段階でチェックされるコーディングルールのサブセットを参照してください。
Embedded Coder^® を使用して生成されたコードには MISRA C:2012 からの既知の逸脱があります。Deviations Rationale for MISRA C Compliance (Embedded Coder)を参照してください。

コマンドライン情報

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

パラメーター: -misra3

例 (Bug Finder): polyspace-bug-finder -lang c -sources file_name -misra3 mandatory-required

例 (Bug Finder Server): polyspace-bug-finder-server -lang c -sources file_name -misra3 mandatory-required

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

バージョン履歴

すべて展開する

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

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

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

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

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

コマンドライン/ IDE:

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

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

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

詳細は、以下を参照してください。

メモ

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

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

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

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

参考

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

トピック

¹ MISRA™ and MISRA C are registered trademarks of MIRA Ltd., held on behalf of the MISRA Consortium.

MISRA C:2012 のチェック (-misra3)

説明