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

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

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

これらのチェックの実行には Embedded Coder または Simulink® Check™ のいずれかが必要です。一部のチェックでは Simulink Design Verifier™ が必要です。

セキュア コーディング規約モデル アドバイザー チェックチェック ID
CERT CCWEISO/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
✔✔✔

デッド ロジックの検出

mathworks.sldv.deadlogic
✔✔✔

整数オーバーフローの検出

mathworks.sldv.integeroverflow
✔✔✔

ゼロ除算の検出

mathworks.sldv.divbyzero
✔✔✔

範囲外配列アクセスの検出

mathworks.sldv.arraybounds
✔✔✔

指定された最小値と最大値の違反の検出

mathworks.sldv.minmax
✔N/AN/ACheck configuration parameters for MISRA C:2012mathworks.misra.CodeGenSettings
✔N/AN/A

Check usage of Abs blocks

mathworks.hism.hisl_0001
✔N/AN/A

Check usage of remainder and reciprocal operations

mathworks.sldv.hism.hisl_0002
✔N/AN/A

Check usage of square root operations

mathworks.hism.hisl_0003
✔N/AN/A

Check usage of While Iterator blocks

mathworks.hism.hisl_0006
✔N/AN/A

Check data types for blocks with index signals

mathworks.hism.hisl_0022
✔N/AN/A

Check usage of Reciprocal Sqrt blocks

mathworks.hism.hisl_0028
✔N/AN/A

Check global variables in graphical functions

mathworks.hism.hisl_0062
✔N/AN/A

Check usage of bit-shift operations

mathworks.hism.hisl_0073
✔N/AN/A

Check safety-related optimization settings for data type conversions

mathworks.hism.hisl_0053
✔N/AN/A

Check safety-related optimization settings for division arithmetic exceptions

mathworks.hism.hisl_0054
✔N/AN/A

Check model file name

mathworks.hism.hisl_0031
✔N/AN/A

Check model object names

mathworks.hism.hisl_0032