Результатом Prover™ кода Polyspace ® является проверка ошибок во время выполнения, нарушение правил кодирования, метрика сложности кода или свойство глобальной переменной. Каждый тип результата определяется одним из следующих значков:
,, 
и -
Проверки времени выполнения
и
- Правила кодирования
и
- метрики кода
и
- глобальные переменные
Для точной настройки обзора см. раздел Фильтрация и группирование результатов в пользовательском интерфейсе Polyspace Desktop. Чтобы лучше понять результаты, обратитесь к справочным страницам в этих категориях.