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® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

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

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

Документация Polyspace Code Prover

Поддержка