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