Exponenta Banner

Точность

Указание точности проверки

Для управления точностью проверки используйте опции точности. Чем точнее проверка, тем меньше количество проверяемых оранжевых чеков. Необходимо вручную просмотреть оранжевые чеки, поскольку они указывают код, в котором проверка не может доказать наличие или отсутствие ошибки.

Параметры анализа

развернуть все

Precision level (-O)Укажите уровень точности для проверки
Verification level (-to)Укажите количество запусков процесса проверки кода
Verification time limit (-timeout)Укажите срок проверки
Sensitivity context (-context-sensitivity)Сохранение контекстной информации о вызове для определения вызова функции, вызвавшего ошибки
Improve precision of interprocedural analysis (-path-sensitivity-delta)Избегайте определенных приближений проверки для кода с меньшим количеством строк
Specific precision (-modules-precision)Укажите исходные файлы, которые требуется проверить, с более высокой точностью, чем остальная проверка

Темы

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Уменьшить оранжевые проверки

Улучшите дизайн кодирования или настройте параметры проверки для более точной проверки.

Документация по программе проверки кода Polyspace

Поддержка