Tools samples

The driver samples in this directory contains intentional code errors that are designed to show the capabilities and features of Static Driver Verifier (SDV).

SDV is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is included in the Windows Driver Kit (WDK) and can be run from Microsoft Visual Studio.

Sample	Description
DV-FailDriver-WDM	This sample demonstrates how DV can find errors in a WDM driver.
SDV-FailDriver-KMDF	This sample demonstrates how SDV can find errors in a KMDF driver.
SDV-FailDriver-NDIS	This sample demonstrates how SDV can find errors in a NDIS driver.
SDV-FailDriver-STORPORT	This sample demonstrates how SDV can find errors in a Storport driver.
SDV-FailDriver-WDM	This sample demonstrates how SDV can find errors in a WDM driver.