Creazione di un file di log per lo strumento di analisi del codice
Il programma di certificazione hardware Windows richiede un registro di verifica driver (DVL) per gli invii di driver. Potrebbe essere necessario eseguire lo strumento di analisi del codice prima di creare un DVL per il driver. DVL può contenere un riepilogo dei risultati degli strumenti, ad esempio CodeQL, Analisi codice e file di log del driver statico. I file di log non contengono informazioni sul codice sorgente. Per altri dettagli, vedere Test del logo degli strumenti statici e CodeQL e test del logo degli strumenti statici
Per eseguire l'analisi del codice sul driver
- In Microsoft Visual Studio selezionare il file di progetto driver e quindi selezionare e tenere premuto (o fare clic con il pulsante destro del mouse) per aprire le proprietà del progetto.
- Dal menu Analizza o Compila selezionare Esegui analisi del codice nella soluzione.
- Se vengono rilevati errori o avvisi, usare la finestra Report analisi codice per analizzare la causa degli errori. Usare i messaggi di avviso per risolvere questi problemi. Per altre informazioni sullo strumento di analisi del codice, vedere Come eseguire l'analisi del codice per i driver e l'analisi della qualità del codice C/C++ tramite l'analisi del codice.
Lo strumento di analisi del codice per i driver scrive i risultati nel file vc.nativecodeanalysis.all.xml nella sottodirectory della configurazione della compilazione e della piattaforma del progetto, ad esempio \Windows 8Release\x64.
Osservazioni:
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).
Finestra del prompt dei comandi di Visual Studio
È anche possibile eseguire lo strumento Analisi codice da una finestra del prompt dei comandi di Visual Studio. Configurare l'ambiente eseguendo uno dei file batch seguenti.
"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
Oppure
"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
Eseguire lo strumento Analisi codice. Usa la versione di Windows appropriata per l'invio.
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /target:clean
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /P:RunCodeAnalysisOnce=True
Per le informazioni più aggiornate sui requisiti per il log di verifica del driver, vedere le note sulla versione di WDK.