Установите усовершенствованные параметры конфигурации настроить анализ.
Откройте окно Polyspace® Configuration при помощи кнопки Configure. Настройте дополнительные настройки в этом окне и сохраните свою настройку проекта. Если вы добавили пользовательский файл проекта в Использовании параметра пользовательский файл проекта, ту настройку файла проекта показывают. В противном случае шаблон проекта по умолчанию используется.
Для получения дополнительной информации о расширенных настройках, смотрите Опции анализа в Polyspace Code Prover.
Параметр Settings from заменяет настройки пользовательской конфигурации для кодирования правил. Если вы хотите использовать свои пользовательские настройки правила кодирования, установите Settings from> Project configuration.
Используйте проект Polyspace (.psprj файл) с pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile.
polyspace.ModelLinkOptions | pslinkoptions | Свойства pslinkoptions