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