セキュア コーディング規約への準拠を検証するモデル アドバイザー チェック
Embedded Coder® または Simulink® Check™ を所有している場合、Simulink モデル、およびコンパイルされたコードがセキュア コーディング規約に準拠しているかチェックできます。モデルをチェックするには、以下を行います。
モデル アドバイザーを開きます。
[タスク別] 、 [セキュリティで保護されたコーディング (CERT C, CWE, ISO/IEC TS 17961) のモデリング標準] に移動します。
フォルダー内でチェックを実行します。
モデル アドバイザー チェックの確認については、CERT C、SWE および ISO/IEC TS 17961 コーディング規約用のモデル アドバイザー チェック (Simulink Check)を参照してください。
Polyspace® Bug Finder™ の製品ライセンスを所有している場合は、これらのセキュア コーディング規約に対してコードを評価できます。詳細については、以下を参照してください。
Polyspace を使用した CWE コーディング規約カバレッジ (Polyspace Bug Finder)
コーディング規約違反のチェックおよびレビュー (Polyspace Bug Finder)
参考
MISRA C 標準への準拠を検証するためのモデリング ガイドラインとモデル アドバイザー チェック | Coding Standards