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