Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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. |