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