工具示例

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