Erstellen eines Treiberüberprüfungsprotokolls
Das Windows-Hardwarezertifizierungsprogramm erfordert ein Treiberüberprüfungsprotokoll (DVL) für Treiberübermittlungen. Das DVL enthält eine Zusammenfassung der Ergebnisse der statischen Analysetools, 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 TestCodeQL und Logo-Test für statische Tools.
Vorbereiten des Treibers
- Bevor Sie die Codeanalysetools ausführen, erstellen und verknüpfen Sie Ihren Treiber mit dem neuesten Windows Driver Kit (WDK).
- Wählen Sie Version " für die Lösungskonfiguration und x64 für die Lösungsplattform aus.
Ermitteln und Ausführen der erforderlichen Tests
Informationen dazu, welche Tests für die Version von Windows erforderlich sind, die Sie zertifizieren möchten, finden Sie im Logotest für statische Tools.
Führen Sie die folgenden Tests nach Bedarf aus.
Führen Sie CodeQL aus. Beheben von ermittelten Fehlern. Die Zertifizierung schlägt fehl, wenn Mängel, die als „Must-Fix“ gelten, nicht korrigiert werden. Weitere Informationen zu CodeQL und Logotest für statische Tools finden Sie unter TestCodeQL und Logo-Test für statische Tools.
Führen Sie die statische Treiberüberprüfung aus. Informationen zum Erstellen der Protokolldatei finden Sie unter Erstellen einer Protokolldatei für statische Treiberüberprüfung und Verwenden des statischen Treiberprüfers, um Fehler in Treibern zu finden.
Führen Sie die Codeanalyse für Treiber aus. Beheben Sie alle gefundenen Fehler. Informationen finden Sie unter Erstellen einer Protokolldatei für das Codeanalysetool und Ausführen der Codeanalyse für Treiber. Weitere Informationen zur Codeanalyse finden Sie unter Analysieren der Anwendungsqualität mithilfe von Codeanalysetools.
Erstellen des Treiberüberprüfungsprotokolls
- Wählen Sie im Menü Treiber die Option Treiberüberprüfungsprotokoll erstellen aus.
- Überprüfen Sie, ob die Dateien des Codeanalyseprotokolls, des statischen Treiberüberprüfungsprotokolls und des CodeQL-Protokolls erkannt werden.
- Klicken Sie auf Erstellen.
Das Treiberüberprüfungsprotokoll weist die Dateinamenerweiterung .DVL.XML auf. Das Protokoll wird im Projektordner erstellt, z. B. \myDriverProject\myDriverName. DVL.XML.
SDV führt eine saubere Neuerstellung des Treibers durch, wodurch das Codeanalyseprotokoll entfernt wird. Achten Sie daher darauf, SDV vor der Ausführung der Zertifizierungsstelle auszuführen.
Wenn Sie bereit sind, Ihren Treiber mit dem Windows Hardware Lab Kit zu testen, kopieren Sie das Überprüfungsprotokoll des Treibers 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. Öffnen Sie die Visual Studio Native Tools-Eingabeaufforderung oder das Enterprise Windows Driver Kit (EWDK).
msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64
Erstellen eines Treiberüberprüfungsprotokolls außerhalb von msbuild oder Visual Studio
Im Rahmen des Windows Driver Kit (WDK) und Enterprise WDK (eWDK) liefert Microsoft eine Komponente namens dvl.exe, die zum Generieren von Treiberüberprüfungsprotokollen (Driver Verification Logs, 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
- Suchen Sie die dvl.exe aus dem WDK oder einem montierten eWDK. Sie wird in der Regel in C:\Programme (x86)\Windows Kits\10\Tools\dvl\dvl.exe installiert.
- Rufen Sie dvl.exe auf, indem Sie das
/manualCreate
-Flag, einen Treibernamen, eine gewünschte Architektur und/sarifPath
übergeben. Wobei/sarifPath
den Pfad zum Ordner mit der 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
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. Überprüfen Sie die WHCP-Anforderungsdokumente, um spezifische Details darüber zu erhalten, welche Tools für die Gerätetreiberzertifizierung ausgeführt werden müssen.
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.
Navigieren Sie zu dem Verzeichnis der obersten Ebene, das die CodeQL SARIF-Datei über die Befehlszeile enthält.
Suchen Sie die dvl.exe aus dem WDK oder einem montierten eWDK.
Rufen Sie dvl.exe auf, indem Sie das
/manualCreate
-Flag, einen Treibernamen und eine gewünschte Architektur übergeben. Zum Beispiel:Verwenden Sie eine der folgenden Zeichenfolgen für Ihr driverArchitecture:
- X86
- X64
- Arm
- ARM64
Hinweis
Schließen Sie „.sys“ nicht als Teil der driverName-Zeichenfolge ein.
Ü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 Codeanalysetool, der statischen Treiberüberprüfung und dem Treiberüberprüfungsprotokoll finden Sie in den WDK-Versionshinweisen auf der Downloadseite des Windows Driver Kit (WDK).
Zugehörige Themen
- Erstellen einer Log-Datei für Static Driver Verifier
- Erstellen einer Log-Datei für das Code Analyse Tool
- Hardwarezertifizierungsprogramm
- Analysieren der Treiberqualität mit Codeanalysetools
- Ausführen der Codeanalyse für Treiber
- Verwenden der statischen Treiberüberprüfung zum Auffinden von Fehlern in Treibern
- CodeQL und der Logo-Test für statische Tools