Poznámka
Na prístup k tejto stránke sa vyžaduje oprávnenie. Môžete sa skúsiť prihlásiť alebo zmeniť adresáre.
Na prístup k tejto stránke sa vyžaduje oprávnenie. Môžete skúsiť zmeniť adresáre.
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. |