Детали результата
На панели Results List, если вы выбираете проверку, вы видите дополнительную информацию о панели Result Details.
На этой панели можно также присвоить Severity и Status к каждой проверке. Можно также ввести комментарии, чтобы описать результаты анализа. Это действие помогает вам отследить прогресс своего анализа и постараться не рассматривать ту же проверку дважды.
Для результатов, которые вы открываете от Polyspace® Access, вы можете также:
Присвойте рецензента результату. Рецензент может отфильтровать Results List, чтобы только показать результаты, которые присвоены ему.
Создайте тикет в инструменте отслеживания ошибок (BTT), таком как JIRA. Если вы создаете тикет, Results Details для этого дефекта показывает ID билета. Нажмите ID, чтобы открыть билет в интерфейсе BTT.
Смотрите открытый или экспортируйте результаты Polyspace доступ (к Polyspace Code Prover Access).
Просмотрите Traceback
Иногда, на панели Result Details, вы видите последовательность продвижения инструкций к проверке (traceback). Можно выбрать каждую инструкцию и перейти к ней в исходном коде.
Следующие столбцы появляются в traceback:
| Столбец | Описание |
|---|
| Event | Инструкции кода связаны с дефектом. Например, если ошибка Out of Bounds Array Index происходит в цикле, панель Result Details может показать обновления индекса массива, которые происходят в цикле. Операторы обновления могут физически произойти в вашем коде прежде или после доступа к массиву. Однако, потому что операторы происходят в цикле, они связаны с доступом к массиву. |
| Scope | Функция, содержащая инструкции. Если инструкции не находятся в функции, списки столбцов файл, содержащий инструкции. |
| Line | Номер строки инструкции. |
Покажите ошибочный граф вызовов
Кликните по значку Show error call graph
на панели инструментов панели Result Details, чтобы отобразить последовательность вызова, которая приводит к коду, сопоставленному результатом.
Для глобальных переменных этот график показывает продвижение последовательности вызова операциям чтения и операциям записи на глобальной переменной.
Покажите иерархию вызова и переменный доступ
От панели Result Details можно открыть панели Variable Access и Call Hierarchy.
Нажмите
кнопку, чтобы открыть панель Call Hierarchy.
На этой панели вы видите функцию, в которой текущая проверка происходит, вместе с ее вызывающими сторонами и вызываемыми. Для получения дополнительной информации смотрите Иерархию Вызова.
Нажмите
кнопку, чтобы открыть панель Variable Access.
На этой панели вы видите глобальные переменные в своем коде. Для получения дополнительной информации смотрите Переменный доступ.
