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. |