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:
Open the Model Advisor.
Navigate to By Task > Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961) .
Run the checks in the folder.
To review the Model Advisor checks, see Model Advisor Checks for CERT C, CWE, and ISO/IEC TS 17961 Secure 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:
Extend CWE Coding Standard Coverage Using Polyspace Defect Checkers (Polyspace Bug Finder)
Check for and Review Coding Standard Violations (Polyspace Bug Finder)