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