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