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

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

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

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

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

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

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

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