工具示例
此目录中的驱动程序示例包含有意的代码错误,这些错误旨在显示静态驱动程序验证程序 (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 驱动程序中的错误。 |