Eingabedateien für statische Treiberüberprüfung

Das SDV-Überprüfungsmodul verwendet die folgenden Dateien als Eingabe für eine Überprüfung. Für alle Überprüfungen sind nur die Treiberquelldateien und Betriebssystemmodelldateien erforderlich.

• Treiberprojektdatei und Quellcode. Führen Sie SDV im Verzeichnis aus, in dem sich die Projektdatei befindet.

• Betriebssystemmodelldateien. SDV wählt die Betriebssystemmodelldateien basierend auf den Regeln aus, die Sie für die Überprüfung auswählen, und fasst sie zusammen.

• Verarbeitete Bibliotheksdateien. Bibliotheksdateien sind nur erforderlich, wenn der Treiber von Nicht-Systembibliotheken abhängt. Informationen und Anweisungen finden Sie unter Bibliotheksverarbeitung in statischer Treiberüberprüfung.

• Regellistendatei. Siehe "Static Driver Verifier"-Befehle (MSBuild).

• Optionsdatei für statische Treiberüberprüfung. SDV erstellt eine globale Optionsdatei, die Einstellungen enthält, die für alle SDV-Überprüfungen gelten. Um eine lokale Optionsdatei für einen Treiber zu erstellen, kopieren Sie die globale Optionsdatei. Anschließend können Sie die Kopie der globalen Optionsdatei bearbeiten, um eine lokale Optionsdatei für den Treiber zu erstellen.

Bei der Auswertung der Ergebnisse einer SDV-Überprüfung ist es sehr wichtig, die Eingabedateien zu überprüfen, um die Genauigkeit und Vollständigkeit aller Eingabedateien zu bestätigen, die bei der Überprüfung verwendet wurden.

Dieser Abschnitt enthält ausführliche Beschreibungen der folgenden Dateien:

Datei mit Regeln für die statische Treiberüberprüfung

Datei für statische Treiberüberprüfungsoptionen