Uso di SDV e dei driver di esempio

Per iniziare a usare Static Driver Verifier (SDV) è possibile eseguire lo strumento negli esempi di SDV-FailDriver. I driver di esempio contengono errori di codice intenzionali progettati per mostrare le funzionalità e le funzionalità di SDV. Questi driver di esempio non sono funzionali e non sono concepiti come esempi per progetti di sviluppo di driver reali. Sono disponibili SDV-FailDriver driver di esempio nel repository driver di Windows su GitHub.

• SDV-FailDriver-KMDF
• SDV-FailDriver-WDM
• SDV-FailDriver-NDIS
• SDV-FailDriver-STORPORT

Importante

SDV non è più supportato e SDV non è disponibile nelle versioni WDK o EWDK di Windows 24H2. Non è disponibile in WDK più recente rispetto alla build 26017 e non è incluso in Windows 24H2 RTM WDK. Per scaricare SDV, basta scaricare Windows 11 versione 22H2 di EWDK (rilasciata il 24 ottobre 2023) con Visual Studio build tools 17.1.5 da Scarica il Kit di Sviluppo Driver per Windows (WDK). Si raccomanda solo l'uso di Enterprise WDK per eseguire SDV. L'uso di versioni precedenti del WDK standard in combinazione con le versioni recenti di Visual Studio non è consigliato, in quanto ciò genererà probabilmente errori di analisi.
In futuro, CodeQL sarà lo strumento di analisi statico principale per i driver. CodeQL offre un linguaggio di query potente che considera il codice come database su cui eseguire query, semplificando la scrittura di query per comportamenti, modelli e altro ancora specifici. Per ulteriori informazioni sull'uso di CodeQL, vedere CodeQL e il logo di Static Tools.