So erstellen Sie ein Treiberüberprüfungsprotokoll

Das Windows Hardware Certification Program erfordert für Treibereinreichungen ein Protokoll zur Treiberüberprüfung (DVL). Das DVL enthält eine Zusammenfassung der Ergebnisse aus statischen Analysetools wie CodeQL. Das DVL enthält keine Quellcodeinformationen. Bevor Sie ein DVL für Ihren Treiber erstellen, führen Sie CodeQL, das Codeanalysetool und die statische Treiberüberprüfung aus. Weitere Informationen finden Sie unter Logo-Test für statische Tools und CodeQL und der Logo-Test für statische Tools.

Wichtig

Aufgrund eines bekannten Problems führt die Ausführung des Logo-Tests für statische Tools im Windows HLK (aktualisiert im Mai 2026) für Windows 11, Version 25H2, zu einer Fehlermeldung, dass das Treiberüberprüfungsprotokoll eine Versionsanforderung nicht erfüllt. Führen Sie CodeQL aus und generieren Sie wie gewohnt mit der Version 28000.1761 des Windows-Treiberkit eine DVL. Wenden Sie anschließend die Ausnahmegenehmigung #320241 an, um die Einreichung freizugeben. Dieses Problem wird in der nächsten Version des HLK für Windows 11, Version 25H2, behoben.

Bereiten Sie den Treiber vor

  1. Bevor Sie die Codeanalysetools ausführen, erstellen und verknüpfen Sie Ihren Treiber mit dem neuesten Windows-Treiberkit (WDK, Windows Driver Kit).
  2. Wählen Sie Release für die Lösungskonfiguration und x64 für die Lösungsplattform aus.

Ermitteln und Ausführen der erforderlichen Tests

Informationen darüber, welche Tests für die Windows-Version erforderlich sind, für die Sie eine Zertifizierung anstreben, finden Sie unter Logotest für statische Tools.

Führen Sie die folgenden Tests nach Bedarf aus.

Erstellen des Treiberüberprüfungsprotokolls

  1. Wählen Sie im Menü Treiber die Option Treiberüberprüfungsprotokoll erstellen aus.
  2. Überprüfen Sie, ob die Dateien des Codeanalyseprotokolls, des statischen Treiberüberprüfungsprotokolls und des CodeQL-Protokolls erkannt werden.
  3. Wählen Sie Erstellen aus.

Das Treiberüberprüfungsprotokoll weist die Dateinamenerweiterung .DVL.XML auf. Die Protokolldatei wird im Projektordner erstellt, zum Beispiel \myDriverProject\myDriverName.DVL.XML.

SDV führt eine saubere Neuerstellung des Treibers durch, wodurch das Codeanalyseprotokoll entfernt wird. Bevor Sie CA ausführen, führen Sie unbedingt SDV aus.

Wenn Sie bereit sind, Ihren Treiber mit dem Windows Hardware Lab Kit zu testen, kopieren Sie das Treiberüberprüfungsprotokoll in das Verzeichnis %systemdrive%\DVL auf dem Testcomputer. Löschen Sie den Inhalt des Verzeichnisses auf dem Testcomputer, bevor Sie das neue Treiberüberprüfungsprotokoll kopieren.

Wichtig

Timeouts, Leerzeichen und andere nicht erfolgreiche Ergebnisse in der DVL-Datei sind für die Zertifizierungsübermittlung akzeptabel. Nicht erfolgreiche Ergebnisse führen nicht dazu, dass der Test statischer Tools in HLK fehlschlägt.

Verwenden des Visual Studio-Eingabeaufforderungsfensters

Sie können auch das Treiberüberprüfungsprotokoll aus einem Visual Studio-Eingabeaufforderungsfenster erstellen. Verwenden Sie entweder die mit Visual Studio installierte Eingabeaufforderung für die nativen Tools oder das Enterprise Windows-Treiberkit (EWDK).

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

Erstellen eines Treiberüberprüfungsprotokolls außerhalb von msbuild oder Visual Studio

Microsoft liefert als Teil des Windows-Treiberkit (WDK, Windows Driver Kit) und des Enterprise WDK (eWDK) eine Komponente namens dvl.exe, die über die Befehlszeile zum Generieren von Treiberüberprüfungsprotokollen (DVLs) verwendet werden kann. Ab WDK/eWDK-Vorschauversionen 21342 und höher ist es möglich, eine DVL aus der Befehlszeile außerhalb des Kontexts von msbuild oder Visual Studio zu generieren.

Generieren von DVL aus codeQL sarif-Datei

  1. Suchen Sie die Datei dvl.exe im WDK oder in einem eingebundenen eWDK. Sie wird in der Regel in C:\Programme (x86)\Windows Kits\10\Tools\dvl\dvl.exe installiert.
  2. Rufen Sie dvl.exe auf, indem Sie das Flag /manualCreate, einen Treibernamen, eine gewünschte Architektur und /sarifPath übergeben. Wobei /sarifPath den Pfad zum Ordner enthält, der die SARIF-Datei enthält.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Generieren einer DVL aus einer CodeQL-Sarif-Datei oder bei Verwendung von CA und SDV

  1. Platzieren Sie die Ergebnisse, die verwendet werden müssen, um die DVL in einem einzigen Verzeichnis zusammen mit jeder vcxproj-Datei zu erstellen. Damit Treiber für Windows-Client zertifiziert werden können, ist diese Datei die CodeQL-SARIF-Datei. Die Windows Server-Zertifizierung kann auch die Codeanalyse- und SDV-Ergebnisdateien (Static Driver Verifier) enthalten. Prüfen Sie die Dokumente zu den WHCP-Anforderungen auf genaue Informationen dazu, welche Tools zur Zertifizierung von Gerätetreibern ausgeführt werden müssen.

  2. Platzieren Sie die CodeQL SARIF- und Codeanalyse-XML-Dateien in der obersten Ebene des Verzeichnisses. Platzieren Sie die SDV-DVL.xml Datei in einem Unterordner namens sdv.

  3. Navigieren Sie zu dem Verzeichnis der obersten Ebene, das die CodeQL SARIF-Datei über die Befehlszeile enthält.

  4. Suchen Sie die Datei dvl.exe im WDK oder in einem eingebundenen eWDK.

  5. Rufen Sie dvl.exe auf, indem Sie das Flag /manualCreate, einen Treibernamen und eine gewünschte Architektur angeben. Zum Beispiel:

    Verwenden Sie eine der folgenden Zeichenfolgen für Ihre driverArchitecture:

    • X86
    • X64
    • Arm
    • ARM64

    Hinweis

    Geben Sie „.sys“ nicht als Teil Ihrer driverName-Zeichenfolge an.

  6. Überprüfen Sie die DVL, um sicherzustellen, dass sie ordnungsgemäß generiert wurde.

Diese Verwendung ist in erster Linie für das Generieren von DVLs mit CodeQL-Ergebnissen vorgesehen, kann aber auch für SDV- und CA-Ergebnisse verwendet werden.

Versionshinweise

Die aktuellsten Informationen zum Tool zur Codeanalyse, zu Static Driver Verifier und zum Treiberüberprüfungsprotokoll finden Sie in den WDK-Versionshinweisen auf der Downloadseite des Windows-Treiberkit (WDK, Windows Driver Kit).

  • Last updated on