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. |
Feedback
https://aka.ms/ContentUserFeedback.
Coming soon: Throughout 2024 we will be phasing out GitHub Issues as the feedback mechanism for content and replacing it with a new feedback system. For more information see:Submit and view feedback for