Condividi tramite

Analisi di un driver tramite strumenti di analisi e verifica del codice

  • Articolo

Gli strumenti di analisi e verifica del codice consentono di migliorare la stabilità e l'affidabilità del driver analizzando sistematicamente il codice sorgente. Gli strumenti di analisi e verifica del codice possono rilevare gli errori mancanti dal compilatore e dai test di runtime convenzionali. Inoltre, possono determinare se il driver interagisce correttamente con il kernel del sistema operativo Windows. Usando Microsoft Visual Studio e Windows Driver Kit (WDK), è possibile configurare gli strumenti di analisi e verifica del codice da eseguire come parte del processo di compilazione oppure pianificare gli strumenti per analizzare il driver in un momento prestabilito.

Strumento di analisi codice C/C++ per driver Windows

La versione Windows 8 di WDK offre miglioramenti allo strumento di analisi del codice C/C++ incluso in Visual Studio. In particolare, wdk fornisce un modulo driver specializzato progettato per rilevare gli errori nel codice del driver in modalità kernel. Questo modulo driver è integrato nello strumento di analisi del codice C/C++.

Quando usare: È possibile eseguire lo strumento di analisi codice C/C++ per i driver molto presto nel ciclo di sviluppo, non appena il codice viene compilato correttamente.

Per informazioni sullo strumento di analisi del codice in Visual Studio, vedere:

Nota 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).

Static Driver Verifier

Static Driver Verifier (SDV) è uno strumento di verifica statica che analizza sistematicamente il codice sorgente dei driver in modalità kernel Windows. SDV stabilisce se il driver interagisce correttamente con il kernel del sistema operativo Windows. È possibile avviare SDV dal menu Driver in Visual Studio o dalla finestra del prompt dei comandi di Visual Studio .

Quando usare: Eseguire Static Driver Verifier nelle prime fasi del ciclo di sviluppo sui driver che vengono compilati correttamente. Eseguire Static Driver Verifier prima di iniziare il ciclo di test.

Per informazioni su Static Driver Verifier, vedere: