Чтобы проверять, что ваш код выполняет 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++ кода
Проверяйте на блоки, не рекомендуемые для безопасных стандартов кодирования
Проверяйте на выражения случая переключателя без случая по умолчанию
Проверяйте на операции равенства и неравенства на значениях с плавающей точкой
Обнаружьте заданные нарушения минимального и максимального значения
От R2021b эти проверки Model Advisor теперь совместимы с CERT C моделирование инструкций:
Проверяйте использование того, В то время как Итератор блокируется
Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода
Проверяйте связанные с безопасностью настройки оптимизации на преобразования типа данных
Проверяйте связанные с безопасностью настройки оптимизации на арифметические исключения деления