Результаты Polyspace Code Prover

Описание и примеры результатов

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

  • , и — Проверки на этапе выполнения

  • и — Кодирование правил

  • и — Метрики кода

  • и — Глобальные переменные

Чтобы точно настроить ваш анализ, смотрите Результаты Фильтра и Группы в Пользовательском интерфейсе Рабочего стола Polyspace. Чтобы лучше изучить ваши результаты, обратитесь к страницам с описанием в этих категориях.