Condividi tramite

Regole di conformità DDI

  • Articolo

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 invitati a esaminare i requisiti codeQL per il test del logo dello strumento statico. Per altre informazioni sull'uso di CodeQL, vedere CodeQL e il test del logo degli strumenti statici.

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. SDV può comunque essere usato scaricando Windows 11 versione 22H2 EWDK (rilasciata il 24 ottobre 2023) con gli strumenti di compilazione di Visual Studio 17.1.5 da Scaricare Windows Driver Kit (WDK) . È consigliabile usare 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 altre informazioni sull'uso di CodeQL, vedere CodeQL e il test del logo degli strumenti statici.

Driver Verifier

Verifica driver statico