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