Exponenta Banner

Find defects (-checkers)

Включите или отключите дефектные средства проверки

Описание

Эта опция влияет на анализ Bug Finder только.

Включите средства проверки для дефектов ошибок/кодирования.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Bug Finder Analysis.

Командная строка и файл опций: Используйте опцию -checkers. Смотрите информацию о командной строке.

Почему использование эта опция

Набор по умолчанию средств проверки спроектирован, чтобы найти большинство значимых ошибок в большинстве ситуаций с разработкой программного обеспечения. Если вы имеете определенные потребности, включаете или отключаете отдельные дефектные средства проверки. Например, если вы хотите следовать определенному стандарту обеспечения защиты, выбрать различное подмножество средств проверки.

Настройки

Значение по умолчанию: default

default

Подмножество дефектов задано программным обеспечением.

Смотрите средства проверки дефектов Polyspace Bug Finder, Enabled по умолчанию.

all

Все дефекты.

Для списка всех средств проверки дефектов смотрите Дефекты Bug Finder.

CWE

Подмножество дефектов, которые соответствуют идентификаторам CWE™.

См., что CWE кодирует результаты Polyspace и стандарт.

custom

Выберите дефекты, которые вы хотите найти путем выбора категорий средств проверки или определенных дефектов.

Советы

Можно использовать электронную таблицу, чтобы отслеживать дефектные средства проверки, что вы включаете и добавляете примечания, объясняющие, почему вы не включаете другие средства проверки. Электронная таблица средств проверки предоставлена в polyspaceroot\polyspace\resources. Здесь, polyspaceroot папка установки Polyspace®, такая как C:\Program Files\Polyspace\R2019a.

Информация о командной строке

Независимо от порядка сценарий оболочки обрабатывает -checkers опция, и затем -disable-checkers опция.

Для значений параметров командной строки смотрите Краткие названия Средств проверки Дефекта Bug Finder.

Параметр: -checkers
Значение: default | all | none | CWE | дефектная группа | дефектные параметры
Значение по умолчанию: default
Параметр: -disable-checkers
Значение: дефектная группа |дефектные параметры
Пример 1 (Bug Finder): Polyspace Bug Finder - источники filename - числовые средства проверки, data_flow - запрещать-средства-проверки FLOAT_ZERO_DIV
Пример 2 (Bug Finder): Polyspace Bug Finder - источники filename - значение по умолчанию средств проверки - параллелизм запрещать-средств-проверки, dead_code
Пример 1 (Сервер Bug Finder): сервер средства поиска ошибки полипробела - источники filename - числовые средства проверки, data_flow - запрещать-средства-проверки FLOAT_ZERO_DIV
Пример 2 (Сервер Bug Finder): сервер средства поиска ошибки полипробела - источники filename - значение по умолчанию средств проверки - параллелизм запрещать-средств-проверки, dead_code

Смотрите также

Темы

Документация Polyspace Bug Finder

Поддержка