Eingabedateien für statische Treiberüberprüfungen
Die SDV-Überprüfungs-Engine 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 stellt sie zusammen.
Verarbeitete Bibliotheksdateien. Bibliotheksdateien sind nur erforderlich, wenn der Treiber von Nicht-Systembibliotheken abhängig ist. Informationen und Anweisungen finden Sie unter Library Processing in Static Driver Verifier.
Regellistendatei. Weitere Informationen finden Sie unter Statische Treiberüberprüfungsbefehle (MSBuild).
Datei für statische Treiberüberprüfungsoptionen. 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 untersuchen, 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: