Model Advisor Checks for CERT C, CWE, and ISO/IEC TS 17961 Coding Standards

R2026b

These checks are used to validate that code generated by Embedded Coder^® complies with the CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) secure coding standards. These Model Advisor checks improve the likelihood of generating code that complies with CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) secure coding standards.

To check that your code complies with the CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) secure coding standards, open the Model Advisor and run the checks in By Task > Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961).

Execution of these checks requires either Embedded Coder or Simulink^® Check™. Some checks require Simulink Design Verifier™.

Secure Coding Standards			Model Advisor Check	Check ID
CERT C	CWE	ISO/IEC TS 17961	Model Advisor Check	Check ID
✔	✔	✔	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`
✔	✔	✔	Check for dead logic	`mathworks.sldv.deadlogic`
✔	✔	✔	Check for integer overflow	`mathworks.sldv.integeroverflow`
✔	✔	✔	Check for division by zero	`mathworks.sldv.divbyzero`
✔	✔	✔	Check for out of bound array access	`mathworks.sldv.arraybounds`
✔	✔	✔	Check for specified minimum and maximum value violations	`mathworks.sldv.minmax`
✔	N/A	N/A	Check configuration parameters for MISRA C:2023	`mathworks.misra.CodeGenSettings`
✔	N/A	N/A	Check usage of Abs blocks	`mathworks.hism.hisl_0001`
✔	N/A	N/A	Check usage of remainder and reciprocal operations	`mathworks.sldv.hism.hisl_0002`
✔	N/A	N/A	Check usage of square root operations	`mathworks.hism.hisl_0003`
✔	N/A	N/A	Check usage of While Iterator blocks	`mathworks.hism.hisl_0006`
✔	N/A	N/A	Check data types for blocks with index signals	`mathworks.hism.hisl_0022`
✔	N/A	N/A	Check usage of Reciprocal Sqrt blocks	`mathworks.hism.hisl_0028`
✔	N/A	N/A	Check global variables in graphical functions	`mathworks.hism.hisl_0062`
✔	N/A	N/A	Check usage of bit-shift operations	`mathworks.hism.hisl_0073`
✔	N/A	N/A	Check safety-related optimization settings for data type conversions	`mathworks.hism.hisl_0053`
✔	N/A	N/A	Check safety-related optimization settings for integer division arithmetic exceptions	`mathworks.hism.hisl_0054`
✔	N/A	N/A	Check model file name	`mathworks.hism.hisl_0031`
✔	N/A	N/A	Check model object names	`mathworks.hism.hisl_0032`