-checkers)Включите или отключите проверки дефектов
Эта опция влияет только на анализ Bug Finder.
Включите шашки для ошибок/дефектов кодирования.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Bug Finder Analysis.
Командная строка и файл опций: Используйте опцию -checkers. См. «Информация о командной строке».
Набор шашек по умолчанию предназначен для поиска наиболее значимых ошибок в большинстве ситуаций разработки ПО. Если у вас есть определенные потребности, включите или отключите отдельные дефектные шашки. Например, если необходимо следовать определенному стандарту безопасности, выберите другой подмножество шашек.
По умолчанию:
default
defaultПодмножество дефектов, заданное программным обеспечением.
Смотрите Polyspace Bug Finder Дефекты Проверки Включены по умолчанию.
allВсе дефекты.
Список всех дефектов-шашек см. в разделе Дефекты Bug Finder.
CWEПодмножество дефектов, которые соответствуют CWE™ идентификаторам.
customВыберите дефекты, которые необходимо найти, выбрав категории шашек или определенные дефекты.
Можно использовать электронную таблицу, чтобы отслеживать дефектные шашки, которые вы включаете, и добавлять примечания, объясняющие, почему вы не включаете другие шашки. Электронная таблица шашек представлена в polyspaceroot\ polyspace\ресурсыpolyspacerootC:\Program Files\Polyspace\R2019a.
Независимо от порядка, интерпретатор обрабатывает -checkers опция, а затем -disable-checkers опция.
Для значений параметров командной строки смотрите Краткие имена Bug Finder Defect Checkers.
Параметр:
-checkers |
Значение:
default | all | none | CWE | группа дефектов | параметры дефекта |
По умолчанию:
default |
Параметр:
-disable-checkers |
Значение:
группа дефектов |параметры дефекта
|
Пример 1 (Bug Finder):
Polyspace Bug Finder -sources filename
|
Пример 2 (Bug Finder):
Polyspace Bug Finder -sources filename
|
Пример 1 (Bug Finder Server):
polyspace-bug-finder-server -sources filename
|
Пример 2 (Bug Finder Server):
polyspace-bug-finder-server -sources filename
|