Exponenta Banner

-checkers-activation-file

Включите определенные дефекты и кодирование стандартных шашек с помощью файла с шашками, созданного из интерфейса выбора шашек

Синтаксис

-checkers-activation-file checkersFile.xml

Описание

-checkers-activation-file checkersFile.xml включает специальные проверки дефектов и стандартов кодирования для анализа Bug Finder. Можно выбрать шашки в графическом интерфейсе пользователя, а затем создать файл checkersFile.xml от этого интерфейса.

Эта опция является улучшенной версией аналогичной опции Set checkers by file (-checkers-selection-file). Улучшения заключаются в следующем:

  • Этой опции достаточно, чтобы как задать шашки, так и включить их. Опция -checkers-selection-file задает только набор шашек для анализа с помощью файла выбора шашек. Вы должны включить их отдельно с помощью значения from-file для одного из опций стандартов кодирования (таких как -misra3 или -autosar-cpp14).

  • Эта опция включает как дефектные, так и стандартные шашки кодирования. Опция -checkers-selection-file охватывает только стандартные шашки кодирования. Чтобы задать и включить дефектные шашки, необходимо затем использовать опцию -checkers с разделенным запятыми списком имен средств проверки дефектов.

Обе опции -checkers-activation-file и -checkers-selection-file в качестве аргумента требуется XML- файл со спецификациями средства проверки. XML- файлы имеют тот же формат с единственным различием, исходящим из того, что -checkers-activation-file включает дефектные шашки в дополнение к кодированию стандартных шашек. XML- файл для -checkers-activation-file имеет этот дополнительный элемент:

<standard name="Bug Finder Findings">
   <section name="Numerical">
      <check name="INT_ZERO_DIV" state="on">
      <check name="INT_CONV_OVFL" state="on">
       ...
   </section>
</standard>
Если вы используете XML, сгенерированный для опции -checkers-activation-file с опцией -checkers-selection-fileспецификация средства проверки дефектов в XML не используется вообще. (В этом случае шашки включены с опцией -checkers используются. Если вы не используете опцию -checkersиспользуются только дефектные шашки по умолчанию.)

Примеры

Можно выбрать шашки в графическом интерфейсе пользователя, а затем сгенерировать XML- файл из выбора. Вы или другие разработчики можете использовать эту XML- файл с опцией -checkers-activation-file для анализа Bug Finder.

  1. Откройте графический пользовательский интерфейс, чтобы выбрать шашки. В командной строке введите:

    polyspace-checkers-selection
    В окне Выбор результатов выберите New. Выберите шашки, которые вы хотите включить, и выберите Save Changes, чтобы сохранить выбор в качестве XML- файла, скажем checkers.xml.

  2. Задайте ранее созданную XML- файл с опцией -checkers-activation-file.

    • Bug Finder:

      polyspace-bug-finder -sources file.c -checkers-activation-file checkers.xml

    • Сервер Bug Finder:

      polyspace-bug-finder-server -sources file.c -checkers-activation-file checkers.xml

Совет

Если вы используете Polyspace® Поскольку Вы кодируете расширения в IDE, эта опция реализуется с помощью настройки расширения IDE. Вы не должны использовать эту опцию явным образом. Если вы хотите явным образом использовать эту опцию, введите опцию в файл опций анализа. См. файл опций.

См. также

|

Документация Polyspace Bug Finder

Поддержка