このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
サポートされていない MISRA C:2012 ガイドライン
Polyspace® コーディング ルール チェッカーでは、以下の MISRA C™:2012 命令はチェックされません。これらの命令は Polyspace ソフトウェアの範囲外であるため、強制することはできません。これらのガイドラインは、MISRA™ ルールのドキュメンテーション、動的局面、機能的側面に関わるものです。
サポートされているルールと命令のリストは、MISRA C:2012 命令およびルールを参照してください。
| 番号 | カテゴリ | AGC カテゴリ | 定義 |
|---|---|---|---|
| 命令 3.1 | 必要 | 必要 | All code shall be traceable to documented requirements |
| 命令 4.2 | 推奨 | 推奨 | All usage of assembly language should be documented |
