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