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