-checkers-selection-file)Задайте пользовательский набор кодирования проверок стандартов на ваш анализ
Задайте полный путь XML-файла настройки, где вы задаете пользовательские выборы кодирования средств проверки стандартов. В том же файле, можно задать пользовательский выбор средств проверки для каждого из этих стандартов кодирования:
MISRA C®:2004
MISRA C:2012
MISRA® C ++
JSF AV C++
AUTOSAR C++ 14 (Только Средство поиска ошибки)
CERT® C (Только Средство поиска ошибки)
CERT C++ (Только Средство поиска ошибки)
ISO®/IEC TS 17961 (Только Средство поиска ошибки)
Можно также задать пользовательские правила, чтобы совпадать с идентификаторами в коде против текстовых шаблонов, которые вы задаете.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics.
Командная строка: Используйте опцию -checkers-selection-file. Смотрите информацию о командной строке.
Когда вы включаете эту опцию, устанавливаете нормы кодирования, вы выбираете к from-file использовать заданный конфигурационный файл.
Используйте эту опцию, чтобы задать выбор кодирования стандартных средств проверки, характерных для вашей организации. Настройка различных стандартов кодирования консолидируется в одном XML-файле, который можно снова использовать через проекты осуществить общие стандарты кодирования.
OnPolyspace® проверяет ваш код по выбору кодирования стандартных средств проверки или пользовательских правил, заданных в конфигурационном файле, который вы задаете.
Чтобы создать конфигурационный файл, откройте окно Findings selection путем нажатия
. На левой панели выберите стандарт кодирования, который вы хотите сконфигурировать, затем выбрать правила, которые вы хотите проверять на этот стандарт кодирования на правой панели.
Чтобы использовать или обновить существующий файл, введите полный путь в файл в обеспеченном поле или нажмите Browse в окне Findings selection.
От (значения по умолчанию)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>Для полного списка идентификаторов правила и имен раздела, см.:
Пользовательские правила кодирования (Polyspace Code Prover Access)
JSF правила C++ (Polyspace Code Prover Access)
Правила MISRA C:2004 (Polyspace Code Prover Access)
Директивы MISRA C:2012 и правила (Polyspace Code Prover Access)
MISRA C ++:2008 правил (Polyspace Code Prover Access)
Примечание
Формат XML конфигурационного файла средства проверки может измениться в будущих релизах.
Параметр:
-checkers-selection-file |
| Значение: Полный путь конфигурационного XML-файла |
| Значение по умолчанию: Off |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |