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-bug-finder(DOS/UNIX) Запуск анализ Bug Finder от Windows, Linux или другой командной строки
polyspace-comments-import(DOS/UNIX) информация об анализе Импорта от предыдущего анализа Polyspace
polyspace-configure(DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS
polyspace-report-generator(DOS/UNIX) Генерирует отчеты для результатов анализа Polyspace, сохраненных локально или на Polyspace доступ
polyspace-results-export(DOS/UNIX) Polyspace Экспорта заканчивается к внешним форматам, таким как CSV или JSON

Темы

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

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

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

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

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

Документация Polyspace Bug Finder

Поддержка