Condividi tramite

Code Analysis for Drivers

  • Articolo

Analisi del codice per driver è uno strumento di verifica statica in fase di compilazione che rileva errori di codifica di base nei programmi C e C++ e include un modulo specializzato progettato per rilevare gli errori nel codice driver in modalità kernel (principalmente).

Nelle versioni precedenti di WDK, il modulo specifico del driver per l'analisi del codice faceva parte di uno strumento autonomo denominato PREfast for Drivers (PFD). PREfast for Drivers è stato integrato anche nell'ambiente di compilazione WDK, come parte di Microsoft Automated Code Review (OACR). A partire da Windows Driver Kit (WDK) 8, le funzionalità specifiche del driver sono state integrate con Analisi della qualità dell'applicazione tramite Code Analysis Tools.

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.

In questa sezione

Importante

L'analisi del codice per i driver è disponibile in Windows 24H2 WDK e EWDK, ma è consigliabile che sia impostata per essere ritirata in una data futura.
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.