Проверяйте код C/C++ исчерпывающе на ошибки времени выполнения. В зависимости от вашей конфигурации продукта вы можете запускать анализ одного из этих местоположений:
Рабочий стол: Если при запуске Polyspace Code Prover, можно анализировать код в пользовательском интерфейсе Polyspace, с помощью скриптов, или из другого приложения, таких как Simulink® или MATLAB® Coder™. Можно даже отправить анализ серверу (где аналитические запуски с помощью Polyspace Code Prover Server™), и загрузите результаты на рабочий стол.
Сервер: Если вы запустите Polyspace Code Prover Server, можно запланировать автоматизированный, работает на серверах с помощью инструментов Continuous Integration (CI), таких как Дженкинс.
