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