Запустите Polyspace, в то время как вы кодируете из командной строки и экспортируете результаты

Можно запустить Polyspace, когда Вы Кодируете на исходных файлах непосредственно в командной строке.

Для ИД, которые непосредственно не поддерживаются с Polyspace, когда Вы Кодируете плагин, можно открыть терминал в IDE и запустить команды или создать пункт меню, чтобы запуститься, команды на файле в настоящее время открываются в IDE. Можно даже включить эти команды в make-файл, так, чтобы создание кода также запустило статический анализ на коде. См. также Интегрируют Polyspace, когда Вы Кодируете в ИДАХ и Редакторах Без Плагинов.

Добавьте папку установки в путь

Чтобы постараться не вводить полный путь к Polyspace как, Вы Кодируете команды, добавляете пути к этим командам к переменной окружения PATH на вашей операционной системе.

Пути в папке стандартной установки следующие:

Windows^®	`C:\Program Files\Polyspace as You Code\R2021b\polyspace\bin`
Linux^®	`/usr/local/PolyspaceAsYouCode/R2021b/polyspace/bin`

После того, как вы добавите пути, можно ввести команды, такие как следующее в терминале без ошибок:

polyspace-bug-finder-access -help

Запустите анализ и смотрите результаты на консоли

Чтобы запустить Polyspace как, Вы Кодируете, используете polyspace-bug-finder-access команда. Экспортируйте результаты в консоль с помощью polyspace-results-export команда.

polyspace-bug-finder-access -sources filename
polyspace-results-export -format console

В этом примере, polyspace-bug-finder-access команда генерирует результаты в текущей папке. polyspace-results-export чтения команды следуют из текущей папки и экспортируют в консоль.

Анализ обычно занимает несколько секунд, чтобы завершиться (немного дольше для файлов C++). Если анализу не удается завершиться, более подробная информация ошибки появляется на консоли. Можно использовать опцию -no-quiet видеть, что более детальный анализ входит в систему консоль.

Сохраните результаты в определенной папке

Использовать определенную папку resultsFolder результатов вместо текущей папки измените предыдущие линии можно следующим образом:

polyspace-bug-finder-access -sources filename -results-dir resultsFolder
polyspace-results-export -format console -results-dir resultsFolder

Экспортируйте результаты в формат JSON (SARIF Выход)

Вместо того, чтобы отобразить результаты анализа на консоли, можно экспортировать результаты в файл JSON. Можно затем проанализировать этот файл с помощью метода синтаксического анализатора JSON на любом языке, который вы хотите.

polyspace-bug-finder-access -sources filename.c
polyspace-results-export -format json-sarif -output-name outputFilePath

Здесь, outputFilePath полный путь к файлу JSON.

Формат JSON следует за стандартным обозначением, обеспеченным Форматом обмена результатов статического анализа (SARIF) OASIS.

Задайте опции анализа при помощи файлов опций

Чтобы адаптировать аналитическую настройку Polyspace к вашей среде разработки и требованиям, необходимо изменить настройку по умолчанию через параметры командной строки, такие как -compiler. Файлы опций являются удобным способом собрать несколько опций вместе и снова использовать их через проекты.

Файлы опций являются текстовыми файлами с одной опцией на строку. Например, содержимое файла опций может выглядеть так:

# Options for Polyspace analysis
# Options apply to all projects in Controller module
-compiler visual16.x
-D _WIN32
-checkers-activation-file "Z:\utils\checkers.xml"

Задайте файл опций с помощью опции -options-file. Например:

polyspace-bug-finder-access -sources file.c -options-file "Z:\utils\polyspace\options.txt"

См. также Файлы Опций для Анализа Polyspace. Для всех опций, доступных с Polyspace, когда, Вы Кодируете, видите Полный список Аналитических Опций Engine Polyspace Bug Finder.

Создайте файл опций путем анализа сборки

Вместо того, чтобы ввести опции вручную в файл опций, можно создать файл опций со всеми опциями Polyspace, требуемыми для компиляции путем анализа системы сборки. Например, можно проследить команду сборки и сохранить опции в файле buildOptions.txt то, что можно использовать для последующего анализа.

polyspace-configure -no-sources -output-options-file buildOptions.txt buildCommand
polyspace-bug-finder-access -sources file.c -options-file buildOptions.txt

Здесь, buildCommand команда сборки, которая выполняет полную сборку вашего исходного кода, например, make -B или make --always-make. Для систем сборки, которые могут вывести параметры компиляции в формате базы данных компиляции JSON, можно получить опции из файла JSON:

polyspace-configure -no-sources -output-options-file buildOptions.txt -compilation-database jsonFile

Здесь, jsonFile полный путь к файлу базы данных JSON компиляции.

Можно также добавить второй файл опций с опциями, связанными с анализом, такими как средства проверки. Например, если второй файл опций называется checkersOptions.txt, можно запустить Polyspace, когда Вы Кодируете можно следующим образом:

polyspace-bug-finder-access -sources file.c -options-file buildOptions.txt -options-file checkersOptions.txt

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