Exponenta Banner

Анализ Polyspace с Windows или скриптами Linux

Проверяйте код C/C++ на ошибки времени выполнения с помощью пакетных файлов (.bat) или сценарии оболочки (.sh)

Команды DOS/UNIX

polyspace-code-prover(DOS/UNIX) Запуск верификация Программы автоматического доказательства Кода от DOS или командной строки UNIX
polyspace-comments-import(DOS/UNIX) информация об анализе Импорта от предыдущего анализа Polyspace
polyspace-configure(DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS
polyspace-report-generator(DOS/UNIX) Генерирует отчеты для результатов анализа Polyspace, сохраненных локально или на Polyspace доступ

Темы

Запустите анализ Polyspace из командной строки

Проверяйте код C/C++ с Программой автоматического доказательства Средства поиска или Кода Ошибки с помощью пакетных файлов (.bat) или сценарии оболочки (.sh)

Сконфигурируйте аналитические опции Polyspace в пользовательском интерфейсе и сгенерируйте скрипты

Сгенерируйте скрипты для автоматизированных запусков из проектов, сконфигурированных в пользовательском интерфейсе десктопных решений Polyspace®.

Сопутствующая информация

Документация Polyspace Code Prover
Поддержка