-checkers-selection-file)Задайте пользовательский набор кодирования проверок стандартов на ваш анализ
Задайте полный путь XML-файла настройки, где вы задаете пользовательские выборы кодирования средств проверки стандартов. В том же XML-файле можно задать пользовательский выбор средств проверки для каждого из этих стандартов кодирования:
MISRA C®:2004
MISRA C:2012
MISRA® C ++
JSF AV C++
AUTOSAR C++ 14 (только Bug Finder)
CERT® 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-файле, который можно снова использовать через проекты осуществить общие стандарты кодирования.
OnPolyspace проверяет ваш код по выбору кодирования стандартных средств проверки или пользовательских правил, заданных в конфигурационном файле, который вы задаете.
Чтобы создать конфигурационный файл при помощи Рабочего стола Polyspace, в Configuration, выбирают Coding Standards & Code Metrics. Чтобы открыть интерфейс Checkers selection, кликните по папке (
) на правой панели. Выберите стандарты кодирования, которые вы хотите сконфигурировать на левой панели, и затем выбрать правила, что вы хотите активироваться на правой панели.
Чтобы создать конфигурационный файл при помощи Polyspace Как, вы Кодируете плагины IDE, обращаетесь к документации вашего определенного плагина.
Чтобы использовать или обновить существующий файл, введите полный путь в файл в в поле Select file диалогового окна Checkers selection. В качестве альтернативы нажмите Browse в окне Findings selection и обзоре к существующему файлу.
От (значения по умолчанию)Polyspace не проверяет ваш код по выбору кодирования стандартных средств проверки или пользовательских правил, заданных в конфигурационном файле, который вы задаете.
Для десктопных решений Polyspace задайте кодирующую стандартную настройку в Пользовательском интерфейсе Polyspace. Когда вы сохраняете настройку, XML-файл создается для использования в текущих и других проектах.
Для Серверных продуктов Polyspace необходимо создать стандарт кодирования XML. В зависимости от стандарта, который вы хотите включить, сделайте writeable копию одного из файлов в polyspaceserverroot\help\toolbox\polyspace_bug_finder_server\examples\coding_standards_XMLpolyspaceserverrootC:\Program Files\Polyspace Server\R2019a.
Например, чтобы выключить правило 8.1 MISRA C:2012, в файле 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 - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |