Независимо от того, где вы запускаете Polyspace® от, вы можете хотеть изменить некоторые опции анализа по умолчанию. Можно изменить опции, чтобы работать вокруг ошибок компиляции, задать дополнительные средства проверки, установить правила от кодирования стандартов, сгенерировать отчеты, и так далее. Смотрите все доступные опции анализа и сопроводительные рабочие процессы здесь. Опции организованы по данным групп на панели Configuration в пользовательском интерфейсе Polyspace. Для специфичных для платформы инструкций относительно того, как установить опции, смотрите, Задают Опции анализа Polyspace.
