适用于 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 C | CWE | ISO/IEC TS 17961 | ||
✔ | ✔ | ✔ | Check configuration parameters for secure coding standards | mathworks.security.CodeGenSettings |
✔ | ✔ | ✔ | Check for blocks not recommended for C/C++ production code deployment | mathworks.codegen.PCGSupport |
✔ | ✔ | ✔ | Check for blocks not recommended for secure coding standards | mathworks.security.BlockSupport |
✔ | ✔ | ✔ | Check usage of Assignment blocks | mathworks.misra.AssignmentBlocks |
✔ | ✔ | ✔ | Check for switch case expressions without a default case | mathworks.misra.SwitchDefault |
✔ | ✔ | ✔ | Check for bitwise operations on signed integers | mathworks.misra.CompliantCGIRConstructions |
✔ | ✔ | ✔ | Check for equality and inequality operations on floating-point values | mathworks.misra.CompareFloatEquality |
✔ | ✔ | ✔ | Check integer word lengths | mathworks.misra.IntegerWordLengths |
✔ | ✔ | ✔ | mathworks.sldv.deadlogic | |
✔ | ✔ | ✔ | mathworks.sldv.integeroverflow | |
✔ | ✔ | ✔ | mathworks.sldv.divbyzero | |
✔ | ✔ | ✔ | mathworks.sldv.arraybounds | |
✔ | ✔ | ✔ | mathworks.sldv.minmax | |
✔ | 不适用 | 不适用 | Check configuration parameters for MISRA C:2012 | mathworks.misra.CodeGenSettings |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0001 | |
✔ | 不适用 | 不适用 | mathworks.sldv.hism.hisl_0002 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0003 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0006 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0022 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0028 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0062 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0073 | |
✔ | 不适用 | 不适用 | Check safety-related optimization settings for data type conversions | mathworks.hism.hisl_0053 |
✔ | 不适用 | 不适用 | Check safety-related optimization settings for division arithmetic exceptions | mathworks.hism.hisl_0054 |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0031 | |
✔ | 不适用 | 不适用 | mathworks.hism.hisl_0032 |