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