Exponenta Banner
exponenta event banner

Найти дефекты (-checkers)

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

Описание

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

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

Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле «Анализ ошибок».

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

Зачем использовать этот параметр

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

Настройки

По умолчанию: default

default

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

См. раздел Проверки дефектов при обнаружении ошибок Polyspace, включенные по умолчанию.

all

Все дефекты.

Список всех проверок дефектов см. в разделе Поиск ошибок.

CWE

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

См. CWE Coding Standard and Polyspace Results.

custom

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

Совет

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

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

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

Для получения информации о значениях параметров командной строки см. Краткие имена средств проверки дефектов при обнаружении ошибок.

Параметр: -checkers
Значение: default | all | none | CWE | группа дефектов | параметры дефекта
По умолчанию: default
Параметр: -disable-checkers
Значение: группа дефектов |параметры дефекта
Пример 1 (поиск ошибок): polyspace-bug-finder -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
Пример 2 (поиск ошибок): polyspace-bug-finder -sources filename -checkers default -disable-checkers concurrency,dead_code
Пример 1 (сервер поиска ошибок): polyspace-bug-finder-server -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
Пример 2 (сервер поиска ошибок): polyspace-bug-finder-server -sources filename -checkers default -disable-checkers concurrency,dead_code

См. также

Темы

Документация для поиска ошибок Polyspace

Поддержка