Ausgabedateien für statische Treiberüberprüfung

SDV generiert verschiedene Arten von Ausgabe- und Ergebnisdateien. In diesem Abschnitt werden die Dateien und deren Verwendung beschrieben.

Dieser Abschnitt umfasst:

Command-Line Output

Sdv-map.h

Beim Auswerten der Ergebnisse einer SDV-Überprüfung müssen Sie alle Ausgaben sorgfältig untersuchen und Fehler untersuchen.