Включите определенный дефект и кодирование стандартных средств проверки с помощью файла средств проверки, созданного из интерфейса выбора средств проверки
-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.
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. Вы не должны использовать эту опцию явным образом. Если вы хотите явным образом использовать эту опцию, введите опцию в файл опций анализа. Смотрите файл опций.