工具示例

此目录中的驱动程序示例包含有意的代码错误,这些错误旨在显示静态驱动程序验证程序 (SDV) 的功能。

SDV 是一种静态验证工具,可系统地分析 Windows 内核模式驱动程序的源代码。 SDV 包含在 Windows 驱动程序工具包 (WDK) 中,可以从 Microsoft Visual Studio 运行。

示例 说明
DV-FailDriver-WDM 此示例演示 DV 如何查找 WDM 驱动程序中的错误。
SDV-FailDriver-KMDF 此示例演示 SDV 如何查找 KMDF 驱动程序中的错误。
SDV-FailDriver-NDIS 此示例演示 SDV 如何查找 NDIS 驱动程序中的错误。
SDV-FailDriver-STORPORT 此示例演示 SDV 如何查找 Storport 驱动程序中的错误。
SDV-FailDriver-WDM 此示例演示 SDV 如何查找 WDM 驱动程序中的错误。