Документация

Этот график столбцов отображает:

Щелкните график столбцов, чтобы открыть Unreachable functions окно.

Это окно содержит:

Низкая переадресация может указывать на раннюю красную проверку или отсутствующий вызов функции. Примите во внимание следующий код:

void coverage_eg(void)
{ 
  int x;

  x = 1 / x;
  x = x + 1;
  propagate();
}

Поскольку программа отображает только одну из пяти операций проверки кода, процент элементарных операций составляет 1/5 или 20%. Программа не учитывает проверки внутри недоступной функции propagate(). Для получения дополнительной информации смотрите Причины снятия проверки кода.

На этой круговой диаграмме отображается количество проверок каждого цвета. Описание чековых цветов см. в разделах Результат Code Prover и Цвета исходного кода.

Используя эту круговую диаграмму, можно получить оценку:

Оранжевый источник является переменной или функцией, которая приводит к оранжевой проверке. Этот график столбцов отображает пять оранжевых источников, влияющих на наибольшее количество проверок.

Оранжевый источник может вызвать несколько оранжевых проверок в Code Prover. При клике оранжевого источника на этом графике на панели Results List отображаются только оранжевые проверки, поступающие из этого источника.

Для образца в этом коде неизвестное значение input может вызвать переполнение и деление на нули. Переменная input источник оранжевого цвета, который вызывает две проверки оранжевого цвета.

void func (int input) {
int val1;
double val2;
val1 = input++;
val2 = 1.0/input;
}

Каждый столбец представляет оранжевый источник. Столбцы расположены в порядке количества затронутых проверок. Высота столбца указывает количество проверок, на которые влияет соответствующий оранжевый источник. Поместите курсор на столбец, чтобы открыть всплывающую подсказку с указанием имени источника и количества проверок, на которые влияет источник.

Используя этот график, вы можете:

Этот график столбцов отображает пять наиболее нарушенных правил кодирования. Каждый столбец представляет правило кодирования и индексируется номером правила. Высота столбца указывает количество нарушений правила кодирования, представленного этим столбцом.