Note
Ang pag-access sa pahinang ito ay nangangailangan ng pahintulot. Maaari mong subukang mag-sign in o magpalit ng mga direktoryo.
Ang pag-access sa pahinang ito ay nangangailangan ng pahintulot. Maaari mong subukang baguhin ang mga direktoryo.
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. |