Анализ Polyspace на рабочем столе

Проверьте код C/C + + на ошибки времени выполнения в Polyspace® пользовательский интерфейс или использование скриптов

Сконфигурируйте и запустите Polyspace Code Prover™, чтобы проверить код на ошибки времени выполнения. Вы можете сконфигурировать и запустить Polyspace при помощи:

  • Проект в пользовательском интерфейсе Polyspace.

  • Скрипты Windows или Linux.

  • Скрипты MATLAB.