Nota
L'accesso a questa pagina richiede l'autorizzazione. Puoi provare ad accedere o a cambiare directory.
L'accesso a questa pagina richiede l'autorizzazione. Puoi provare a cambiare directory.
Questa sezione elenca e descrive le regole di conformità DDI (Windows Device Driver Interface) che è possibile usare per verificare i driver Windows Driver Model (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS e Storport driver. Le regole di conformità DDI definiscono i requisiti per l'interazione corretta tra un driver e l'interfaccia kernel del sistema operativo.
Regole per i driver audio
Regole per i driver AVStream
Regole per i driver WDM
Regole per i driver KMDF
Regole per i driver NDIS
Regole per i driver Storport
Importante
Il programma di compatibilità hardware Windows richiede codeQL per i test STL (Static Tool Logo) nei sistemi operativi client e server. Continueremo a mantenere il supporto per SDV e CA su prodotti meno recenti. I partner sono fortemente incoraggiati a esaminare i requisiti di CodeQL per il test del logo dello strumento statico. Per ulteriori informazioni sull'uso di CodeQL, vedere CodeQL e il logo di Static Tools.
Strumenti di verifica driver
È possibile usare gli strumenti di analisi del codice, Static Driver Verifier e Driver Verifier per testare un driver per la conformità alle regole di utilizzo DDI. Static Driver Verifier (SDV) esegue l'analisi statica sul codice sorgente del driver, in modo da poter usare SDV all'inizio del ciclo di sviluppo. Driver Verifier è integrato con il sistema operativo, quindi è possibile testare un driver in fase di esecuzione dopo la compilazione, la distribuzione e l'installazione.
Usando il codice sorgente del driver, Static Driver Verifier crea un modello del driver e del sistema operativo. In questo modello SDV posiziona il driver in un ambiente ostile e testa sistematicamente i percorsi di codice attraverso il driver cercando violazioni di un set formalizzato delle regole di conformità del driver (regole del driver statico Verifier).
A partire da Windows 8, è possibile configurare Driver Verifier per eseguire alcuni degli stessi controlli di conformità sui driver installati abilitando il controllo di conformità DDI.
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.