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