Σημείωμα
Η πρόσβαση σε αυτήν τη σελίδα απαιτεί εξουσιοδότηση. Μπορείτε να δοκιμάσετε να εισέλθετε ή να αλλάξετε καταλόγους.
Η πρόσβαση σε αυτήν τη σελίδα απαιτεί εξουσιοδότηση. Μπορείτε να δοκιμάσετε να αλλάξετε καταλόγους.
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. |