セキュリティで保護されたコーディング規約への準拠を検証するモデル アドバイザー チェック

Embedded Coder^® または Simulink^® Check™ を所有している場合、Simulink モデル、およびコンパイルされたコードがセキュリティで保護されたコーディング規約に準拠しているかチェックできます。モデルをチェックするには、以下を行います。

1. モデル アドバイザーを開きます。

2. [タスク別] 、 [セキュリティで保護されたコーディング (CERT C, CWE, ISO/IEC TS 17961) のモデリング標準] に移動します。

3. フォルダー内でチェックを実行します。

モデル アドバイザー チェックの確認については、CERT C、SWE および 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