此目录中的驱动程序示例包含有意的代码错误,这些错误旨在显示静态驱动程序验证程序(SDV)的功能和功能。
SDV 是一种静态验证工具,可以系统地分析 Windows 内核模式驱动程序的源代码。 SDV 包含在 Windows 驱动程序工具包(WDK)中,可从 Visual Studio Microsoft运行。
| 示例 | DESCRIPTION |
|---|---|
| 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 驱动程序中查找错误。 |