Exponenta Banner

Список результатов

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

  • 'none': Списки дезертируют и кодирующий нарушения правила без группировки. По умолчанию результаты перечислены в порядке серьезности.

  • Family: результаты Списков, сгруппированные путем группировки. Для получения дополнительной информации о дефектах, покрытых группой, смотрите Bug Finder Defect Groups.

  • Класс: результаты Списков сгруппированы классом. В каждом классе результаты сгруппированы методом. Первая группа, Global Scope, перечисляет результаты, не происходящие в определении класса.

    Эта опция доступна для C++ код только.

  • File: результаты Списков сгруппированы файлом. В каждом файле результаты сгруппированы функцией.

Для каждого результата панель Results List содержит атрибуты результата, перечисленные в столбцах:

АтрибутОписание
FamilyГруппа, которой принадлежит результат.
IDУникальный идентификационный номер результата.
TypeДефект или кодирующий нарушение правила.
Group

Категория результата, например:

  • Для дефектов: Группы, такие как статическое ЗУ, числовой, поток управления, параллелизм, и т.д.

  • Для кодирования нарушений правила: Группы, заданные кодированием, управляют стандартом.

    Например, MISRA C®: 2012 задает группы, связанные с построениями кода, такими как функции, указатели и массивы, и т.д.

Check

Имя результата, например:

  • Для дефектов: Дефектное имя

  • Для кодирования нарушений правила: Кодирование номера правила

Detail

Дополнительная информация о результате. Столбец показывает первую линию панели Result Details.

Для примера того, как использовать этот столбец, смотрите результат MISRA C:2012 Dir 1.1.

FileФайл, содержащий инструкцию, где результат происходит
ClassКласс, содержащий инструкцию, где результат происходит. Если результат не в определении класса, то этот столбец содержит запись, Global Scope.
FunctionФункция, содержащая инструкцию, где результат происходит. Если функция является методом класса, это появляется в формате class_nameFunctionName .
FolderПуть к папке, которая содержит исходный файл результатом
CWE ID

Идентификаторы CWE, соответствующие результатам Средства поиска Ошибки.

См., что CWE кодирует результаты Polyspace и стандарт

Severity

Уровень серьезности вы присвоили результату. Возможные уровни:

  • Unset

  • High

  • Medium

  • Low

Status

Рассмотрите состояние, которое вы присвоили результату. Возможные состояния:

  • Unreviewed (состояние по умолчанию)

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

CommentsКомментарии вы вошли о результате
Assigned to

Имя пользователя рецензента присвоило этому результату.

Этот столбец отображается только для результатов, которые вы открываете от Polyspace® Access.

Ticket Key

Когда вы создаете тикет инструмента отслеживания ошибок (BTT) для результата, это поле содержит ID билета. Кликните по ID билета в Results Details, чтобы открыть билет в интерфейсе BTT.

Этот столбец отображается только для результатов, что вы открываете от Polyspace доступ.

Чтобы показать или скрыть любой из столбцов, щелкните правой кнопкой где угодно по заголовкам столбцов. Из контекстного меню выберите или очистите заголовок столбца, который вы хотите показать или скрыть.

Используя эту панель, вы можете:

  • Перейдите через результаты.

  • Организуйте свой анализ результата с помощью фильтров на столбцах. Для получения дополнительной информации смотрите Результаты Фильтра и Группы.

Документация Polyspace Bug Finder
Поддержка