-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 (Средство поиска Ошибки):
Polyspace Bug Finder - источники
|
Пример 2 (Средство поиска Ошибки):
Polyspace Bug Finder - источники
|
Пример 1 (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники
|
Пример 2 (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники
|