Set checkers by file (-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\sources как шаблон и включают правила с помощью записей в XML-файле. Здесь, polyspaceserverroot корневая папка установки для Серверных продуктов Polyspace, например, C:\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>

    Для полного списка идентификаторов правила и имен раздела, см.:

    Примечание

    Формат XML конфигурационного файла средства проверки может измениться в будущих релизах.

Информация о командной строке

Параметр: -checkers-selection-file
Значение: Полный путь конфигурационного XML-файла
Значение по умолчанию: 'off'
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла