Панель Result Details содержит исчерпывающую информацию об определенном дефекте. Чтобы видеть эту информацию, на панели Results List, выбирают дефект.
На этой панели можно также присвоить Severity и Status к каждой проверке. Можно также ввести комментарии, чтобы описать результаты анализа. Это действие помогает вам отследить прогресс своего анализа и постараться не рассматривать ту же проверку дважды.
Правый верхний угол показывает файл и функцию, содержащую дефект в формате file_name/function_name
.
Желтое поле содержит имя дефекта с объяснением того, почему дефект происходит.
Списки столбцов Event последовательность инструкций кода, вызывающих дефект. Списки столбцов Scope функция, содержащая инструкции. Если инструкции не находятся в функции, списки столбцов файл, содержащий инструкции. Списки столбцов Line номер строки инструкций.
Флажок Variable trace позволяет вам видеть дополнительный набор инструкций, которые связаны с дефектом.
Кнопка позволяет вам документации доступа для дефекта.
Для результатов, которые вы открываете от Polyspace® Access, вы можете также:
Присвойте рецензента результату. Рецензент может отфильтровать Results List, чтобы только показать результаты, которые присвоены ему.
Создайте тикет в инструменте отслеживания ошибок (BTT), таком как JIRA. Если вы создаете тикет, Results Details для этого дефекта показывает ID билета. Нажмите ID, чтобы открыть билет в интерфейсе BTT.
Смотрите открытый или экспортируйте результаты Polyspace доступ (к Polyspace Bug Finder Access).