Панель "Дерево трассировки"
В области Дерево трассировки отображается трассировка критических элементов исходного кода, которые были выполнены в пути к нарушению правила, как показано на следующем снимке экрана.
Эти критические элементы, такие как вызовы функций и назначения, поступают из всех исходных файлов, которые использовались для обнаружения нарушения правил, включая код модели операционной системы SDV (файл sdv-harness.c), исходные файлы правил SDV (*.slic) и исходный код драйвера. Элементы кода отображаются в порядке их выполнения, даже если они были созданы в разных файлах.
SDV координирует отображение в области Дерево трассировки с отображением в области Исходный код и область Состояние. При пошаговом просмотре исходного кода в области Дерево трассировки SDV автоматически выделяет соответствующую строку кода в области Исходный код и отображает значения переменных в соответствующей точке области Состояние .
Этот раздел состоит из следующих частей.
Общие сведения о области дерева трассировки