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