Come creare un log di verifica del driver

Il Programma di certificazione hardware di Windows richiede un registro di verifica del driver (DVL) per l'invio dei driver. Il DVL contiene un riepilogo dei risultati ottenuti dagli 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, vedi Test del logo degli strumenti statici e CodeQL e il test del logo degli strumenti statici.

Importante

A causa di un problema noto, l'esecuzione del test Static Tools Logo in Windows HLK (aggiornato a maggio 2026) per Windows 11, versione 25H2, restituirà un errore secondo cui il Driver Verification Log non soddisfa un requisito di versione. Eseguire CodeQL e generare un DVL usando il Windows Driver Kit (WDK) versione 28000.1761 come di consueto, quindi applicare l'esenzione #320241 per sbloccare l'invio. Questo problema verrà risolto nella versione successiva di HLK per Windows 11 versione 25H2.

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 la quale si desidera ottenere la certificazione, vedere il Test del logo degli strumenti statici.

Eseguire i test seguenti, come richiesto.

Creare il log di verifica del driver

  1. Dal menu Driver, selezionare Crea registro di verifica del driver.
  2. Verificare che siano stati rilevati i file Registro analisi del codice, Registro di verifica statica del driver e Registro 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 in 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 a testare il driver usando il Windows Hardware Lab Kit, copiare il log di verifica del driver nella directory %systemdrive%\DVL sul computer di test. Eliminare il contenuto della directory nel computer di test prima di copiare il nuovo log di verifica del driver.

Importante

I casi di timeout, di spaceout e altri esiti non positivi nel file DVL sono accettabili per la presentazione 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 (WDK) (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 fornisce, come parte di Windows Driver Kit (WDK) e Enterprise WDK (eWDK), un componente denominato dvl.exe che può essere usato per generare log di verifica dei 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. Richiamare dvl.exe passando il flag /manualCreate, un nome di driver, l'architettura desiderata e /sarifPath. Dove /sarifPath include il percorso della cartella che contiene 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 di CodeQL, oppure quando si usano 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 Windows Client, questo file è il file SARIF CodeQL. La certificazione Windows Server può includere anche i file di risultati di Analisi codice e Verifica driver statico (SDV). Consultare i documenti sui requisiti WHCP per dettagli specifici 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. Richiamare dvl.exe passando il flag /manualCreate, il nome di un driver e l'architettura desiderata. Ad esempio:

    Utilizzare una delle stringhe seguenti per il proprio driverArchitecture:

    • X86
    • X64
    • Braccio
    • Arm64

    Nota

    Non includere ".sys" nella stringa driverName.

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

Questo uso è destinato principalmente a generare DVL con i risultati di CodeQL, ma può essere usato anche con i risultati SDV e CA.

Note sulla versione

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

  • Last updated on