model advisor checks for cert c, swe, and iso/iec ts 17961 secure coding standards
to check that your code complies with the (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).
model advisor checks for cert c, swe, and iso/iec ts 17961 coding standards
these model advisor checks improve the likelihood of generating code that complies with (embedded coder) secure coding standards.
unless otherwise noted, execution of these checks requires either embedded coder® or simulink® check™.
secure coding standards | model advisor check | check id | ||
---|---|---|---|---|
cert c | cwe | iso/iec ts 17961 | ||
✔ | ✔ | ✔ | mathworks.security.codegensettings | |
✔ | ✔ | ✔ | mathworks.codegen.pcgsupport | |
✔ | ✔ | ✔ | mathworks.security.blocksupport | |
✔ | ✔ | ✔ | mathworks.misra.assignmentblocks | |
✔ | ✔ | ✔ | mathworks.misra.switchdefault | |
✔ | ✔ | ✔ | mathworks.misra.compliantcgirconstructions | |
✔ | ✔ | ✔ | mathworks.misra.comparefloatequality | |
✔ | ✔ | ✔ | mathworks.misra.integerwordlengths | |
✔ | ✔ | ✔ | this check requires simulink design verifier™. | mathworks.sldv.deadlogic |
✔ | ✔ | ✔ | this check requires simulink design verifier. | mathworks.sldv.integeroverflow |
✔ | ✔ | ✔ | this check requires simulink design verifier. | mathworks.sldv.divbyzero |
✔ | ✔ | ✔ | this check requires simulink design verifier. | mathworks.sldv.arraybounds |
✔ | ✔ | ✔ | this check requires simulink design verifier. | mathworks.sldv.minmax |
✔ | n/a | n/a | mathworks.misra.codegensettings | |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0001 |
✔ | n/a | n/a | this check requires simulink design verifier. | mathworks.sldv.hism.hisl_0002 |
✔ | n/a | n/a | this check requires simulink design verifier. | mathworks.hism.hisl_0003 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0006 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0022 |
✔ | n/a | n/a | this check requires simulink design verifier. | mathworks.hism.hisl_0028 |
✔ | n/a | n/a | this check requires simulink check and stateflow®. | mathworks.hism.hisl_0062 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0073 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0053 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0054 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0031 |
✔ | n/a | n/a | this check requires simulink check. | mathworks.hism.hisl_0032 |