Exponenta Banner

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

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

Используйте скрипты Windows или Linux, чтобы сконфигурировать и запустить Polyspace® анализ. Узнайте о доступных командах DOS/UNIX и о том, как использовать эти команды для запуска Polyspace из командной строки.

Чтобы сохранить полный путь к командам, добавьте путь polyspaceroot\ polyspace\bin на Path окружение в операционной системе. Здесь, polyspaceroot является папкой установки Polyspace, например C:\Program Files\Polyspace\R2021a. См. также раздел Установка продуктов Polyspace для рабочих столов.

Команды DOS/UNIX

polyspace-code-prover(DOS/UNIX) Запуск верификации Code Prover из Windows, Linux или другой командной строки
polyspace-comments-import(DOS/UNIX) Импорт рецензируемой информации из предыдущего анализа Polyspace
polyspace-configure(DOS/UNIX) Создайте проект Polyspace из системы сборки в командной строке DOS или UNIX
polyspace-report-generator(DOS/UNIX) Создание отчетов для результатов анализа Polyspace, хранящихся локально или в Polyspace Access
polyspace-results-export(DOS/UNIX) Экспорт результатов Polyspace во внешние форматы, такие как CSV или JSON

Темы

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

Проверяйте код C/C + + с помощью Bug Finder или Code Prover с помощью пакетных файлов (.bat) или интерпретатор скрипты (.sh)

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

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

Связанная информация

Документация Polyspace Code Prover

Поддержка