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)
Modeling Guidelines and Model Advisor Checks for Verifying Compliance with MISRA C:2012 | Coding Standards