このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
セキュリティで保護されたコーディング規約への準拠を検証するモデル アドバイザー チェック
Embedded Coder® または Simulink® Check™ を所有している場合、Simulink モデル、およびコンパイルされたコードがセキュリティで保護されたコーディング規約に準拠しているかチェックできます。モデルをチェックするには、以下を行います。
モデル アドバイザーを開きます。
[タスク別] 、 [セキュリティで保護されたコーディング (CERT C, CWE, ISO/IEC TS 17961) のモデリング標準] に移動します。
フォルダー内でチェックを実行します。
モデル アドバイザー チェックの確認については、セキュリティで保護されたコーディング標準 CERT C、CWE、および ISO/IEC TS 17961 に関するモデル アドバイザー チェック (Simulink Check)を参照してください。
Polyspace® Bug Finder™ の製品ライセンスを所有している場合は、これらのセキュリティで保護されたコーディング規約に対してコードを評価できます。詳細については、以下を参照してください。
Polyspace 欠陥チェッカーを使用した CWE コーディング規約カバレッジの拡大 (Polyspace Bug Finder)
コーディング規約違反のチェックおよびレビュー (Polyspace Bug Finder)
参考
Modeling Guidelines and Model Advisor Checks for Verifying Compliance with MISRA C:2012 | Coding Standards