Анализ средства поиска ошибки

Аналитические опции для нахождения дефектов

Чтобы включить или отключить дефектные средства проверки, используйте аналитическую опцию Средства поиска Ошибки.

Аналитические опции

`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, других IDE-s или скриптах.

Проверяйте на определенные дефекты в Средстве поиска Ошибки вместо того, чтобы использовать средства проверки по умолчанию.

Разверните общую настройку средств проверки, чтобы осуществить универсальные стандарты, дефект соединения и кодирующий средства проверки правила.

Расширьте или ограничьте поведение по умолчанию дефекта или кодирования стандартных средств проверки с помощью аналитических опций Polyspace.

Ищите список средств проверки Средства поиска Ошибки, которые включены по умолчанию.

Смотрите, как результаты Polyspace связаны со стандартом обеспечения защиты CWE™.