При использовании Polyspace вы можете хотеть изменить некоторые опции анализа по умолчанию. Можно изменить опции, чтобы работать вокруг проблем компиляции, задать дополнительные средства проверки, установить правила от кодирования стандартов, сгенерировать отчеты, и так далее. Опции организованы здесь по данным групп на панели Configuration в пользовательском интерфейсе десктопных решений Polyspace.
Можно задать опции анализа при помощи пользовательского интерфейса рабочего стола Polyspace, интерфейса командной строки Polyspace или файла опций.
Пользовательский интерфейс Polyspace: Чтобы изменить опции анализа модуля проекта, в Project Browser, выбирают узел Configuration модуля. В панели Configuration измените опции по мере необходимости. Смотрите Анализ Запуска в Пользовательском интерфейсе Рабочего стола Polyspace.
Командная строка: Чтобы задать опции анализа когда рабочие исследования Polyspace из командной строки, добавьте опции к polyspace-bug-finder или polyspace-bug-finder-server. Смотрите запущенный анализ Polyspace из командной строки.
Файл опций: файл опций является текстовым файлом с одной парой значения опции в каждой линии. Вместо того, чтобы перечислить много опций явным образом, можно задать файл опций в командной строке как значение к опции -options-file. Смотрите файлы опций для анализа Polyspace.
Для получения информации о специфичных для IDE настройках, доступных с Polyspace, когда, Вы Кодируете плагины или расширения, видите Настроенный Анализ Polyspace в ИДАХ.
