Проверяйте код C/C++ на дефекты (ошибки), кодируя нарушения правила или нарушения стандартов обеспечения защиты. Вы можете:
Контрольный код во время разработки, в пользовательском интерфейсе Polyspace или скриптах использования.
Автоматизированное расписание проверяет удаленный кластер.
Контрольный код сгенерирован из кода MATLAB® или моделей Simulink® как часть рабочего процесса генерации кода.
Контрольный код из IDE, такого как Eclipse™.
