Включить определенные дефекты и кодирование стандартных шашек с помощью файла шашек, созданного из интерфейса выбора шашек
-checkers-activation-file checkersFile.xml
-checkers-activation-file позволяет проверять конкретные дефекты и стандарты кодирования для анализа Bug Finder. Можно выбрать шашки в графическом интерфейсе пользователя, а затем создать файл checkersFile.xmlcheckersFile.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>-checkers-activation-file с опцией -checkers-selection-file, спецификация средства проверки дефектов в XML вообще не используется. (В этом случае шашки включены с опцией -checkers используются. Если параметр не используется -checkersиспользуется только проверка дефектов по умолчанию.)Можно выбрать шашки в графическом интерфейсе пользователя, а затем создать XML-файл из выделенного фрагмента. Вы или другие разработчики можете использовать этот XML-файл с параметром -checkers-activation-file для анализа Bug Finder.
Откройте графический интерфейс пользователя для выбора шашек. В командной строке введите:
polyspace-checkers-selection
checkers.xml.Укажите ранее созданный XML-файл с помощью опции -checkers-activation-file.
Поиск ошибок:
polyspace-bug-finder -sources file.c -checkers-activation-file checkers.xml
Сервер поиска ошибок:
polyspace-bug-finder-server -sources file.c -checkers-activation-file checkers.xml
При использовании Polyspace ® в качестве расширений кода в IDE эта опция реализуется с помощью настройки расширения IDE. Явно использовать этот параметр не требуется. Если требуется явно использовать эту опцию, введите ее в файл опций анализа. См. файл параметров.