このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

CERT C、SWE および ISO/IEC TS 17961 セキュア コーディング規約のモデル アドバイザー チェック

コードが CERT C、CWE、および ISO/IEC TS 17961 (Embedded Coder) セキュア コーディング規約に準拠していることをチェックするには、モデル アドバイザーを開いて [タスク別] 、 [セキュリティで保護されたコーディングのモデリング ガイドライン (CERT C、CWE、ISO/IEC TS 17961)] でチェックを実行します。

CERT C、SWE および ISO/IEC TS 17961 コーディング規約用のモデル アドバイザー チェック

次のモデル アドバイザー チェックでは、CERT C、CWE および ISO/IEC TS 17961 (Embedded Coder) セキュア コーディング規約準拠のコードを生成する可能性が向上しています。

特に指定のない限り、これらのチェックの実行には Embedded Coder^® または Simulink^® Check™ のいずれかが必要です。

セキュア コーディング規約			モデル アドバイザー チェック	チェック ID
CERT C	CWE	ISO/IEC TS 17961
✔	✔	✔	セキュリティで保護されたコーディング標準のコンフィギュレーション パラメーターをチェック	mathworks.security.CodeGenSettings
✔	✔	✔	C/C++ 量産コード展開に推奨されないブロックがないかチェック	mathworks.codegen.PCGSupport
✔	✔	✔	セキュリティで保護されたコーディング標準に推奨されないブロックをチェック	mathworks.security.BlockSupport
✔	✔	✔	Assignment ブロックの使用をチェック	mathworks.misra.AssignmentBlocks
✔	✔	✔	default ケースをもたない switch case 式のチェック	mathworks.misra.SwitchDefault
✔	✔	✔	符号付き整数のビット演算のチェック	mathworks.misra.CompliantCGIRConstructions
✔	✔	✔	浮動小数点値の等式演算と不等式演算のチェック	mathworks.misra.CompareFloatEquality
✔	✔	✔	整数の語長をチェック	mathworks.misra.IntegerWordLengths
✔	✔	✔	デッド ロジックの検出 このチェックには Simulink Design Verifier™ が必要です。	mathworks.sldv.deadlogic
✔	✔	✔	整数オーバーフローの検出 このチェックには Simulink Design Verifier が必要です。	mathworks.sldv.integeroverflow
✔	✔	✔	ゼロ除算の検出 このチェックには Simulink Design Verifier が必要です。	mathworks.sldv.divbyzero
✔	✔	✔	範囲外配列アクセスの検出 このチェックには Simulink Design Verifier が必要です。	mathworks.sldv.arraybounds
✔	✔	✔	指定された最小値と最大値の違反の検出 このチェックには Simulink Design Verifier が必要です。	mathworks.sldv.minmax
✔	N/A	N/A	MISRA C:2012 のコンフィギュレーション パラメーターをチェック	mathworks.misra.CodeGenSettings
✔	N/A	N/A	Check usage of Abs blocks このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0001
✔	N/A	N/A	Check usage of remainder and reciprocal operations このチェックには Simulink Design Verifier が必要です。	mathworks.sldv.hism.hisl_0002
✔	N/A	N/A	Check usage of square root operations このチェックには Simulink Design Verifier が必要です。	mathworks.hism.hisl_0003
✔	N/A	N/A	Check usage of While Iterator blocks このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0006
✔	N/A	N/A	Check data types for blocks with index signals このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0022
✔	N/A	N/A	Check usage of Reciprocal Sqrt blocks このチェックには Simulink Design Verifier が必要です。	mathworks.hism.hisl_0028
✔	N/A	N/A	Check global variables in graphical functions このチェックには Simulink Check および Stateflow® が必要です。	mathworks.hism.hisl_0062
✔	N/A	N/A	Check usage of bit-shift operations このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0073
✔	N/A	N/A	Check safety-related optimization settings for data type conversions このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0053
✔	N/A	N/A	Check safety-related optimization settings for division arithmetic exceptions このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0054
✔	N/A	N/A	Check model file name このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0031
✔	N/A	N/A	Check model object names このチェックには Simulink Check が必要です。	mathworks.hism.hisl_0032

参考

• モデル アドバイザーを使用したモデルのチェック

関連するトピック

• モデル アドバイザー チェックの実行と結果の確認