Чтобы проверить соответствие вашего кода стандартам безопасного кодирования CERT C, CWE и ISO/IEC TS 17961 (Embedded Coder), откройте Model Advisor и запустите проверки By Task > Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961):
Проверьте параметры конфигурации для стандартов безопасного кодирования
Проверьте блоки, не рекомендуемые для развертывания производственного кода C/C + +
Проверяйте блоки, не рекомендованные для стандартов безопасного кодирования
Проверяйте на выражения случая коммутатора без случая по умолчанию
Проверяйте на равенство и неравенство операции над значениями с плавающей точкой
Обнаружение заданных нарушений минимального и максимального значений