Freigeben über

Erstellen einer Protokolldatei für die Überprüfung statischer Treiber

  • Artikel

Das Windows-Hardwarezertifizierungsprogramm erfordert ein Treiberüberprüfungsprotokoll (DRIVER Verification Log, DVL) für Treiberübermittlungen. Möglicherweise müssen Sie vor dem Erstellen einer DVL für Ihren Treiber statische Treiberüberprüfung ausführen. Die DVL kann eine Zusammenfassung der Ergebnisse aus Tools wie CodeQL, Code Analysis und Static Driver Verifier enthalten. Die Protokolldateien enthalten keine Quellcodeinformationen. Weitere Details finden Sie unter "Logotest für statische Tools" und "CodeQL" und "Logotest für statische Tools".

Erstellen der Protokolldatei für SDV

  1. Wählen Sie in Microsoft Visual Studio die Treiberprojektdatei aus, und halten Sie sie gedrückt (oder klicken Sie mit der rechten Maustaste darauf), um die Projekteigenschaften zu öffnen.
  2. Wenn Sie das Codeanalysetool bereits ausgeführt haben, befolgen Sie diese Anweisungen zum Ausführen der Statischen Treiberüberprüfung. Weitere Informationen zur Verwendung von SDV finden Sie unter Using Static Driver Verifier to Find Defects in Drivers
  3. Wenn SDV Fehler in Ihrem Treiber findet, wählen Sie den Fehler im Ergebnisbereich aus, um eine Ablaufverfolgung des Codepfads anzuzeigen, der zur Regelverletzung geführt hat. Beheben Sie alle Fehler, die im Treiber gefunden wurden, und führen Sie SDV erneut aus.

Statische Treiberüberprüfung schreibt die Ergebnisse in die Datei SDV.DVL.xml im SDV-Unterverzeichnis Ihres Projekts, z. B. \myDriverProject\SDV.

Hinweise

Die aktuellsten Informationen zur Überprüfung statischer Treiber und zum Treiberüberprüfungsprotokoll finden Sie in den WDK-Versionshinweisen. Die Versionshinweise sind auf der Downloadseite des Windows Driver Kit (WDK) verfügbar.

Wichtig

Timeouts, Leerzeichen und andere nicht erfolgreiche Ergebnisse in der DVL-Datei sind für die Zertifizierungsübermittlung akzeptabel. Dies führt nicht dazu, dass der Test der statischen Tools in HCK fehlschlägt. Für HCK 2.0 erfordert der Test statischer Tools nur das Vorhandensein der DVL-Datei, um codeanalyse und SDV auszuführen, und erfordert nicht, dass alle Regeln bestehen.

Visual Studio-Eingabeaufforderungsfenster

Sie können auch statische Treiberüberprüfung über ein Visual Studio-Eingabeaufforderungsfenster ausführen. Richten Sie die Umgebung ein, indem Sie eine der folgenden Batchdateien ausführen.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

-ODER-

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Führen Sie statische Treiberüberprüfung aus.

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"