Чтобы включить или отключить дефектные средства проверки, используйте опцию анализа Bug Finder.
Find defects (-checkers) | Включите или отключите дефектные средства проверки |
Run stricter checks considering all values of system inputs (-checks-using-system-input-values) | Включите более строгие проверки и обеспечьте примеры значений, которые приводят к обнаруженному дефекту |
Consider inputs to these functions (-system-inputs-from) | Задайте функции, для которых анализ рассматривает все возможные входные значения |
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Выберите Specific Bug Finder Defect Checkers
Проверяйте на определенные дефекты в Bug Finder вместо того, чтобы использовать средства проверки по умолчанию.
Подготовьте настройку средств проверки к анализу Polyspace Bug Finder
Разверните общую настройку средств проверки, чтобы осуществить универсальные стандарты, дефект соединения и кодирующий средства проверки правила.
Измените поведение по умолчанию средств проверки Bug Finder
Расширьте или ограничьте поведение по умолчанию дефекта или кодирования стандартных средств проверки с помощью опций анализа Polyspace.
Средства проверки дефектов Polyspace Bug Finder, Enabled по умолчанию
Ищите список средств проверки Bug Finder, которые включены по умолчанию.
CWE кодирование стандарта и результатов Polyspace
Смотрите, как результаты Polyspace связаны со стандартом обеспечения защиты CWE™.
