Strumenti per la verifica dei driver
Windows Driver Kit (WDK) include diversi strumenti molto completi progettati per consentire di rilevare e correggere gli errori nel codice del driver durante il processo di sviluppo. Molti di questi strumenti possono essere usati molto presto nel processo di sviluppo in cui sono più critici e possono risparmiare tempo e impegno.
Questi strumenti di verifica sono descritti nella documentazione di WDK e consigliati per l'uso perché ogni strumento rileva diversi tipi di errori del driver in modi diversi. Questi strumenti sono molto più efficienti dei controlli manuali. Questi strumenti possono rilevare gli errori che in genere non si trovano nei test di driver standard e incorporano l'esperienza di sviluppatori di driver esperti e finestre di progettazione dell'interfaccia dei driver di Windows.
Per ottenere risultati ottimali, usare tutti gli strumenti che possono essere eseguiti sul driver. Se si omette uno di questi strumenti, si potrebbe perdere un bug grave nel driver.
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.
Questa sezione inizia con una breve descrizione delle caratteristiche degli strumenti di verifica del codice e un sondaggio degli strumenti inclusi in WDK e in Windows o disponibili da Microsoft.
La sezione include:
Strumenti di verifica statici e dinamici
Test del logo codeQL e static tools
Sanificatore di indirizzi kernel
Altri strumenti
Se si ha accesso ad altri strumenti di verifica del codice o del driver (da altre origini), è consigliabile usarli oltre agli strumenti in WDK. Assicurarsi di usare strumenti come Driver Verifier e Kernel Address Sanitizer a causa della conoscenza specifica dei driver di Windows, ma ogni strumento esamina il codice in modi diversi e può quindi aiutare a trovare e risolvere diversi tipi di problemi.