Condividi tramite

Creazione di un file di log per Static Driver Verifier

  • Articolo

Il programma di certificazione hardware Windows richiede un registro di verifica driver (DVL) per gli invii di driver. Potrebbe essere necessario eseguire Static Driver Verifier prima di creare un DVL per il driver. DVL può contenere un riepilogo dei risultati degli strumenti, ad esempio CodeQL, Analisi del codice e Verifica driver statici. 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.

Creare il file di log per SDV

  1. 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.
  2. Se è già stato eseguito lo strumento di analisi del codice, seguire queste istruzioni per l'esecuzione di Static Driver Verifier. Per altre informazioni sull'uso di SDV, vedere Using Static Driver Verifier to Find Defects in Drivers
  3. Se SDV rileva difetti nel driver, selezionare il difetto nel riquadro Risultati per visualizzare una traccia del percorso del codice che ha causato la violazione della regola. Correggere eventuali difetti rilevati nel driver ed eseguire di nuovo SDV.

Static Driver Verifier scrive i risultati nel file SDV.DVL.xml nella sottodirectory SDV del progetto, ad esempio \myDriverProject\SDV.

Osservazioni:

Per le informazioni più aggiornate su Static Driver Verifier e il log di verifica del driver, vedere le note sulla versione di WDK. Le note sulla versione sono disponibili nella pagina di download di Windows Driver Kit (WDK).

Importante

I timeout, gli spazi e altri risultati non riusciti nel file DVL sono accettabili per l'invio della certificazione. Questo non causerà l'esito negativo del test degli strumenti statici in HCK. Per HCK 2.0, il test degli strumenti statici richiede solo la presenza di file DVL per mostrare che l'analisi del codice e sdV sono state eseguite e non richiede che tutte le regole vengano passate.

Finestra del prompt dei comandi di Visual Studio

È anche possibile eseguire Static Driver Verifier 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 verifica driver statici.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"