Model Advisor Checks for Verifying Compliance with Secure Coding Standards

If you have Embedded Coder^® or Simulink^® Check™, you can check that your Simulink model, and the complied code, conforms to the secure coding standards. To check your model:

1. Open the Model Advisor.

2. Navigate to By Task > Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961) .

3. Run the checks in the folder.

To review the Model Advisor checks, see Model Advisor Checks for CERT C, SWE, and ISO/IEC TS 17961 Coding Standards (Simulink Check).

If you have a Polyspace^® Bug Finder™ product license, you can evaluate your code against these secure coding standards. For more information, see:

• CWE Coding Standard Coverage Using Polyspace (Polyspace Bug Finder)

• Check for and Review Coding Standard Violations (Polyspace Bug Finder)