-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-файле, который можно снова использовать через проекты осуществить общие стандарты кодирования.
НаPolyspace® проверяет ваш код по выбору кодирования стандартных средств проверки или пользовательских правил, заданных в конфигурационном файле, который вы задаете.
Чтобы создать конфигурационный файл, откройте окно Findings selection путем нажатия
. На левой панели выберите стандарт кодирования, который вы хотите сконфигурировать, затем выбрать правила, которые вы хотите проверять на этот стандарт кодирования на правой панели.
Чтобы использовать или обновить существующий файл, введите полный путь в файл в обеспеченном поле или нажмите Browse в окне Findings selection.
От (значения по умолчанию)Polyspace не проверяет ваш код по выбору кодирования стандартных средств проверки или пользовательских правил, заданных в конфигурационном файле, который вы задаете.
Если вы используете десктопные решения Polyspace, задаете кодирующую стандартную настройку в пользовательском интерфейсе десктопных решений. Когда вы сохраняете настройку, XML-файл автоматически создается для использования в текущих и других проектах.
Если вы используете серверные продукты Polyspace, необходимо создать XML-файл для настройки средства проверки. Используйте файл StandardsConfiguration.xml в polyspaceserverroot\polyspace\examples\cxx\Bug_Finder_Example\sourcespolyspaceserverrootC:\Program Files\Polyspace Server\R2019a.
Например, чтобы включить MISRA C: 2 012 правил 8.1, используйте эту запись:
<standard name="MISRA C:2012">
...
<section name="8 Declarations and definitions">
...
<check id="8.1" state="on">
</check>
...
</section>
...
</standard>Для полного списка идентификаторов правила и имен раздела, см.:
Параметр:
-checkers-selection-file |
| Значение: Полный путь конфигурационного XML-файла |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|