-checkers-selection-file)Определите пользовательский набор проверок стандартов кодирования для вашего анализа
Укажите полный путь к файл строения, где вы задаете пользовательские параметры проверки стандартов кодирования. В том же XML- файл можно задать пользовательский выбор шашек для каждого из следующих стандартов кодирования:
MISRA C®:2004
MISRA- C:2012
MISRA® C++
JSF AV C++
AUTOSAR C++ 14 (только Bug Finder)
СВИДЕТЕЛЬСТВО® C (только Bug Finder)
CERT C++ (только Bug Finder)
ISO®/ IEC TS 17961 (только для Bug Finder)
Polyspace® Инструкции (только для Bug Finder)
Можно также задать пользовательские правила, соответствующие идентификаторам в коде заданным текстовым шаблонам.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics.
Командная строка и файл опций: Используйте опцию -checkers-selection-file. См. «Информация о командной строке».
Когда вы включите эту опцию, установите стандарты кодирования, которые вы выбираете from-file использовать указанный файл строения.
Эта опция используется для определения выбора стандартных шашек кодирования, характерных для организации. Строение различных стандартов кодирования консолидируется в одной XML- файле, которую можно повторно использовать в различных проектах для обеспечения применения общих стандартов кодирования.
НаPolyspace проверяет ваш код на предмет выбора стандартных шашек кодирования или пользовательских правил, определенных в указанном файле строения.
Чтобы создать файл строения с помощью рабочего стола Polyspace, в Configuration выберите Coding Standards & Code Metrics. Чтобы открыть интерфейс Checkers selection, щелкните папку 
() на правой панели. Выберите стандарты кодирования, которые необходимо сконфигурировать в левой панели, а затем выберите правила, которые необходимо активировать в правой панели.
Чтобы создать файл строения с помощью Polyspace Когда вы Кодируете IDE плагины, обратитесь к документации вашего конкретного плагина.
Чтобы использовать или обновить существующий файл, введите полный путь к файлу в поле Select file диалогового окна Checkers selection. Также щелкните Browse в Findings selection окне и перейдите к существующему файлу.
Off (по умолчанию)Polyspace не проверяет ваш код на предмет выбора стандартных шашек кодирования или пользовательских правил, определенных в указанном файле строения.
Для десктопных продуктов Polyspace укажите стандартное строение кодирования в интерфейсе пользователя Polyspace. При сохранении строения создается XML- файл для использования в текущем и других проектах.
Для серверных продуктов Polyspace необходимо создать стандарт кодирования XML. В зависимости от стандарта, который вы хотите включить, сделайте записываемую копию одного из файлов в polyspaceserverroot\ help\toolbox\polyspace _ bug _ finder _ server\examples\coding _ standards _ XMLpolyspaceserverrootC:\Program Files\Polyspace Server\R2019a.
Например, чтобы выключить MISRA C:2012 правило 8.1, в файле misra_c_2012_rules.xml, используйте эту запись:
<standard name="MISRA C:2012">
...
<section name="8 Declarations and definitions">
...
<check id="8.1" state="off">
</check>
...
</section>
...
</standard>Полный список идентификаторов правил и имен разделов см. в:
Примечание
Формат XML файла строения средства проверки может измениться в следующих релизах.
Параметр:
-checkers-selection-file |
| Значение: Полный путь к файлу строения XML |
| По умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |