Код C/C + + можно проверить с помощью предварительно определенных подмножеств проверок дефектов в Bug Finder. Однако можно также настроить, какие дефекты необходимо проверить во время анализа.
Вы можете использовать электронную таблицу, чтобы отслеживать дефектные шашки, которые вы включаете, и добавлять заметки, объясняющие, почему вы не включаете другие шашки. Таблица шашек представлена в polyspaceroot\polyspace\resourcespolyspacerootC:\Program Files\Polyspace\R2019a.
На панели Конфигурация (Configuration) выберите Анализ поиска ошибок (Bug Finder Analysis).
В меню Найти дефекты выберите набор дефектов. Возможны следующие варианты:
default для списка дефектов по умолчанию. Этот список содержит дефекты, применимые к большинству проектов кодирования.
См. раздел Проверки дефектов при обнаружении ошибок Polyspace, включенные по умолчанию.
all для всех дефектов.
CWE для дефектов, связанных со стандартом кодирования CWE.
Дополнительные сведения см. в разделе CWE Coding Standard and Polyspace Results.
custom добавление дефектов в список по умолчанию или удаление дефектов из него.
Чтобы стандартизировать поиск ошибок в организации, можно сохранить список проверок дефектов в качестве шаблона конфигурации и предоставить доступ другим пользователям. См. раздел Создание проекта с помощью шаблона конфигурации.
Использовать опцию Find defects (-checkers). Укажите в качестве аргументов список шашек, разделенных запятыми. Например, для выполнения анализа Bug Finder на сервере с включенными проверками гонки данных введите:
polyspace-bug-finder-server -sources filename -checkers DATA_RACE,DATA_RACE_STD_LIB