Чтобы проверять, что ваш код выполняет 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++ кода
Проверяйте на блоки, не рекомендуемые для безопасных стандартов кодирования
Проверяйте на case-выражения переключателя без случая по умолчанию
Проверяйте на операции равенства и неравенства на значениях с плавающей точкой
Обнаружьте заданные нарушения минимального и максимального значения