Esempi di strumenti
Gli esempi di driver in questa directory contengono errori di codice intenzionali progettati per visualizzare 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 | In questo esempio viene illustrato come il dv può trovare errori in un driver WDM. |
SDV-FailDriver-KMDF | Questo esempio illustra come SDV può trovare errori in un driver KMDF. |
SDV-FailDriver-NDIS | Questo esempio illustra come 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 come SDV può trovare errori in un driver WDM. |