Model Checks for Secure Coding (CERT C, CWE, and ISO/IEC TS 17961 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):

• Check configuration parameters for secure coding standards

• Check for blocks not recommended for C/C++ production code deployment

• Check for blocks not recommended for secure coding standards

• Check usage of Assignment blocks

• Check for switch case expressions without a default case

• Check for bitwise operations on signed integers

• Check for equality and inequality operations on floating-point values

• Check integer word length

• Detect Dead Logic

• Detect Integer Overflow

• Detect Division by Zero

• Detect Out Of Bound Array Access

• Detect Specified Minimum and Maximum Value Violations

Related Topics

• Run Model Advisor Checks and Review Results