Esempi di strumenti

Gli esempi di driver in questa directory contengono errori di codice intenzionali progettati per mostrare le funzionalità e le funzionalità di Static Driver Verifier (SDV).

SDV è uno strumento di verifica statico che analizza sistematicamente il codice sorgente dei driver in modalità kernel di Windows. SDV è incluso in Windows Driver Kit (WDK) e può essere eseguito da Microsoft Visual Studio.

Esempio	Descrizione
DV-FailDriver-WDM	Questo esempio illustra in che modo DV può trovare errori in un driver WDM.
SDV-FailDriver-KMDF	Questo esempio illustra in che modo SDV può trovare errori in un driver KMDF.
SDV-FailDriver-NDIS	Questo esempio illustra in che modo SDV può trovare errori in un driver NDIS.
SDV-FailDriver-STORPORT	Questo esempio illustra in che modo SDV può trovare errori in un driver Storport.
SDV-FailDriver-WDM	Questo esempio illustra in che modo SDV può trovare errori in un driver WDM.