Чтобы включить или отключить дефектные средства проверки, используйте аналитическую опцию Средства поиска Ошибки.
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
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Выберите Specific Bug Finder Defect Checkers
Проверяйте на определенные дефекты в Средстве поиска Ошибки вместо того, чтобы использовать средства проверки по умолчанию.
Подготовьте настройку средств проверки к анализу Polyspace Bug Finder
Разверните общую настройку средств проверки, чтобы осуществить универсальные стандарты, дефект соединения и кодирующий средства проверки правила.
Измените поведение по умолчанию средств проверки средства поиска ошибки
Расширьте или ограничьте поведение по умолчанию дефекта или кодирования стандартных средств проверки с помощью аналитических опций Polyspace®.
Средства проверки дефектов Polyspace Bug Finder, Enabled по умолчанию
Ищите список средств проверки Средства поиска Ошибки, которые включены по умолчанию.
CWE кодирование стандарта и результатов Polyspace
Смотрите, как результаты Polyspace связаны со стандартом обеспечения защиты CWE™.
Дефекты (Polyspace Bug Finder Access)
