Чтобы адаптировать аналитическую настройку 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: Analysis Options > Manual Setup > Build Setting : Polyspace Build Options File
Visual Studio: Get from Polyspace build options file (в разделе Build Configuration)
Eclipse: Get from Polyspace build options file (в разделе Build Configuration)
Средства проверки:
Можно задать средства проверки с помощью мастера выбора средств проверки. Для получения дополнительной информации смотрите Средства проверки Установки в Polyspace, когда Вы Кодируете.
Другие остающиеся опции:
Все остающиеся опции могут быть собраны во втором файле опций, который входит в соответствующую дополнительную установку:
Код Visual Studio: Analysis Options > Manual Setup: Other Analysis Options
Visual Studio: Analysis configuration > Analysis options file
Eclipse: Analysis options file
Если вы используете файлы опций и для опций сборки и для других опций, результат совпадает с определением одного файла опций с другими опциями, добавленными к опциям сборки. См. также Определение Нескольких Файлов Опций.
Для получения дополнительной информации о расширениях IDE см.:
В пользовательском интерфейсе десктопных решений 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 в файле опций и агрегате несколько файлов опций таким образом.