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