Чтобы включить или отключить дефектные средства проверки, используйте аналитическую опцию Средства поиска Ошибки.
Find defects (-checkers) | Включите или отключите дефектные средства проверки |
Задайте аналитические опции Polyspace
Задайте аналитические опции Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Выберите Specific Bug Finder Defect Checkers
Проверяйте на определенные дефекты в Средстве поиска Ошибки вместо того, чтобы использовать средства проверки по умолчанию.
Средства проверки дефектов Polyspace Bug Finder, Enabled по умолчанию
Ищите список средств проверки Средства поиска Ошибки, которые включены по умолчанию.
CWE кодирование стандарта и результатов Polyspace
Смотрите, как результаты Polyspace связаны со стандартом обеспечения защиты CWE™.