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