Чтобы адаптировать конфигурацию анализа Polyspace к среде разработки и требованиям, необходимо изменить конфигурацию по умолчанию с помощью параметров командной строки, таких как -compiler. Файлы параметров являются удобным способом сбора нескольких параметров и их повторного использования в проектах.
Файлы опций представляют собой текстовые файлы с одной опцией на строку. Например, содержимое файла опций может выглядеть следующим образом:
# Options for Polyspace analysis # Options apply to all projects in Controller module -compiler visual16.x -D _WIN32 -code-behavior-specifications "Z:\utils\polyspace\forbiddenfunctions.xml"
# представляют комментарии для лучшей читаемости. Эти строки игнорируются во время анализа.
В зависимости от платформы, на которой выполняется анализ, можно указать файл опций одним из следующих способов.
В командной строке (и в сценариях) укажите файл параметров в качестве аргумента параметра -options-file.
Например, вместо команды:
polyspace-bug-finder -sources file.c -compiler visual16.x -D _WIN32 -code-behavior-specifications "Z:\utils\polyspace\forbiddenfunctions.xml"
-compiler visual16.x -D _WIN32 -code-behavior-specifications "Z:\utils\polyspace\forbiddenfunctions.xml"
options.txt в контуре Z:\utils\polyspace\ и сократите команду до:polyspace-bug-finder -sources file.c -options-file "Z:\utils\polyspace\options.txt"
Файлы опций можно использовать со следующими командами Polyspace:
polyspace-bug-finder
polyspace-bug-finder-server
polyspace-bug-finder-access
polyspace-code-prover
polyspace-code-prover-server
При запуске Polyspace в качестве кода с использованием расширений IDE обычно по-разному задаются три группы параметров:
Параметры построения:
Можно извлечь параметры построения из существующих артефактов, таких как команды построения и база данных компиляции JSON, или собрать все параметры построения в файле параметров. Можно указать этот файл опций в соответствующем параметре расширения:
Код Visual Studio: Параметры анализа > Настройка вручную > Параметры построения: Файл параметров построения Polyspace
Visual Studio: Получить из файла параметров построения Polyspace (в разделе Конфигурация построения)
Eclipse: Получить из файла параметров построения Polyspace (в разделе Конфигурация построения)
Шашки:
Можно указать шашки с помощью мастера выбора шашек. Дополнительные сведения см. в разделе Настройка чекеров в Polyspace как кода (Polyspace Bug Finder Access).
Остальные варианты:
Все оставшиеся опции можно собрать во втором файле опций, который входит в соответствующий параметр расширения:
Код Visual Studio: Параметры анализа > Настройка вручную: Другие параметры анализа
Visual Studio: Конфигурация анализа > Файл параметров анализа
Eclipse: файл параметров анализа
Если использовать файлы опций как для опций построения, так и для других опций, результат будет таким же, как при указании одного файла опций с другими опциями, добавленными к опциям построения. См. также раздел Задание нескольких файлов параметров.
Для получения дополнительной информации о расширениях IDE см.:
Настройка Polyspace как расширения кода в Visual Studio (Polyspace Bug Finder Access)
Настройка Polyspace как расширения кода в Visual Studio Code (Polyspace Bug Finder Access)
Настройка Polyspace как подключаемого модуля кода в Eclipse (Polyspace Bug Finder Access)
В пользовательском интерфейсе настольных продуктов Polyspace файл параметров обычно не требуется. Большинство параметров можно задать на панели Конфигурация (Configuration) в интерфейсе пользователя Polyspace.
Однако некоторые параметры доступны только в командной строке и не имеют аналога в интерфейсе пользователя. Если необходимо указать несколько параметров только в командной строке, их можно собрать, например, в файле параметров. commandLineStyleOptions.txt. На панели Конфигурация (Configuration) в узле Дополнительные настройки (Advanced Settings) в поле Другое (Other) можно ввести следующее:
-options-file commandLineStyleOptions.txt
В анализе можно указать несколько файлов опций. Например, в командной строке можно ввести:
polyspace-bug-finder -sources file.c -options-file opts1.txt -options-file opts2.txt
При указании нескольких файлов опций в анализе к команде анализа добавляются все опции из файлов опций. Например, предыдущая команда имеет тот же эффект, что и использование одного файла опций, в который помещается содержимое opts1.txt выше opts2.txt.
Если параметр отображается в нескольких файлах с конфликтующими аргументами, аргумент в последнем файле параметров имеет преимущественную силу. Например, в предыдущей команде, если opts1.txt содержит:
-checkers all -misra3 all
opts2.txt содержит:-misra3 single-unit-rules
single-unit-rules для опции -misra3. Этот набор файлов параметров можно использовать для переопределения параметров. Например, предположим, что используется файл опций только для чтения, который применяется ко всей рабочей группе, но при этом требуется переопределить некоторые опции в файле. Можно переопределить опции, используя второй файл опций, который создается, и указав файл опций после файла опций для всей группы.
Также можно указать опцию -options-file в файле опций и таким образом агрегировать несколько файлов опций.