静态驱动程序验证程序报告窗格

静态驱动程序验证程序报告包含以下窗格：

• “跟踪树”窗格

• “源代码”窗格

• “状态”窗格

“ 跟踪树 ”窗格、 “源代码 ”窗格和“ 状态 ”窗格共同构成了 缺陷查看器 窗口。

仅当 SDV) 检测到“缺陷” (规则冲突时，才能打开缺陷查看器。