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