Condividi tramite

Come creare un log di verifica del driver

  • Articolo

Il programma di certificazione hardware Windows richiede un registro di verifica driver (DVL) per gli invii di driver. Il DVL contiene un riepilogo dei risultati degli strumenti di analisi statica CodeQL. DVL non contiene informazioni sul codice sorgente. Prima di creare un DVL per il driver, eseguire CodeQL, lo strumento di analisi del codice e il verificatore di driver statici. Per altre informazioni, vedere Test del logo degli strumenti statici e CodeQL e test del logo degli strumenti statici.

Preparare il driver

  1. Prima di eseguire gli strumenti di analisi del codice, compilare e collegare il driver usando la versione più recente di Windows Driver Kit (WDK).
  2. Selezionare Rilascio per la configurazione della soluzione e x64 per la piattaforma della soluzione.

Determinare ed eseguire i test necessari

Per determinare quali test sono necessari per la versione di Windows per cui vuoi certificare, vedi test logo strumenti statici.

Eseguire i test seguenti, come richiesto.

Creare il log di verifica del driver

  1. Dal menu Driver selezionare Crea log di verifica driver.
  2. Verificare che siano stati rilevati il log di analisi del codice, il log del driver statico e i file di log codeQL.
  3. Seleziona Crea.

Il log di verifica del driver ha l'estensione del nome file . DVL.XML. Il log viene creato nella cartella del progetto, ad esempio \myDriverProject\myDriverName. DVL.XML.

SDV esegue una ricompilazione pulita del driver, che rimuove il log di analisi del codice. Di conseguenza, assicurarsi di eseguire SDV prima di eseguire la CA.

Quando si è pronti per testare il driver usando Windows Hardware Lab Kit, copiare il log di verifica del driver nella directory %systemdrive%\DVL nel computer di test. Eliminare il contenuto della directory nel computer di test prima di copiare il nuovo log di verifica del driver.

Importante

I timeout, gli spazi e altri risultati non riusciti nel file DVL sono accettabili per l'invio della certificazione. I risultati non riusciti non causeranno l'esito negativo del test degli strumenti statici in HLK.

Usare la finestra del prompt dei comandi di Visual Studio

È anche possibile creare il log di verifica del driver da una finestra del prompt dei comandi di Visual Studio. Usare il prompt dei comandi degli strumenti nativi di Visual Studio installato con Visual Studio o Enterprise Windows Driver Kit (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Creare un log di verifica del driver all'esterno di msbuild o Visual Studio

Microsoft viene fornito come parte di Windows Driver Kit (WDK) ed Enterprise WDK (eWDK) un componente denominato dvl.exe che può essere usato per generare i log di verifica del driver (DVLs) tramite la riga di comando. A partire da WDK/eWDK preview versioni 21342 e successive, è possibile generare un DVL dalla riga di comando all'esterno del contesto di msbuild o Visual Studio.

Generare DVL dal file sarif CodeQL

  1. Individuare dvl.exe da WDK o da un eWDK montato. Viene in genere installato in C:\Programmi (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Chiamare dvl.exe passando il /manualCreate flag, un nome del driver, un'architettura desiderata e /sarifPath. Dove /sarifPath include il percorso della cartella contenente il file sarif.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Generare un DVL da un file sarif CodeQL o quando si usa CA e SDV

  1. Inserire i risultati che devono essere utilizzati per creare il DVL in una singola directory, insieme a qualsiasi file vcxproj. Affinché i driver siano certificati per il client Windows, questo file è il file CODEQL SARIF. La certificazione Windows Server può includere anche i file di risultati di Analisi codice e Verifica driver statico (SDV). Controllare i documenti dei requisiti WHCP per informazioni dettagliate su quali strumenti devono essere eseguiti per la certificazione dei driver di dispositivo.

  2. Inserire i file SARIF CodeQL e i file XML di analisi del codice nel livello superiore della directory. Posizionare il file SDV DVL.xml in una sottocartella denominata sdv.

  3. Passare alla directory di primo livello che contiene il file CODEQL SARIF dalla riga di comando.

  4. Individuare dvl.exe da WDK o da un eWDK montato.

  5. Chiamare dvl.exe passando il /manualCreate flag, un nome del driver e un'architettura desiderata. Ad esempio:

    Usare una delle stringhe seguenti per driverArchitecture:

    • X86
    • X64
    • Arm
    • Arm64

    Nota

    Non includere ".sys" come parte della stringa driverName .

  6. Esaminare il DVL per assicurarsi che sia stato generato correttamente.

Questo utilizzo è destinato principalmente alla generazione di DVD con risultati codeQL, ma può essere usato anche per i risultati SDV e CA.

Note sulla versione

Le informazioni più aggiornate sullo strumento di analisi del codice, sul driver statico Verifier e sul log di verifica del driver sono disponibili nelle note sulla versione di WDK nella pagina di download di Windows Driver Kit (WDK).