Freigeben über

Interpretieren der Ergebnisse der statischen Treiberüberprüfung

  • Artikel

Wenn Sie Static Driver Verifier von Visual Studio aus starten und eine Analyse Ihres Treibers durchführen, werden die Ergebnisse in der Zusammenfassung Results auf der Registerkarte Main angezeigt.

Screenshot der Ergebnisübersicht in Visual Studio nach der Ausführung von Static Driver Verifier.

Statistik

Einstiegspunkte Meldet die Anzahl der im Quellcode des Treibers gefundenen Einstiegspunkte. Einstiegspunkte sind die vom Treiber bereitgestellten Rückruf- oder Dispatch-Routinen. Sie definieren die Einstiegspunkte mit Hilfe von Funktionsrollentypdeklarationen. Um eine Analyse durchzuführen, muss SDV mindestens einen Einstiegspunkt finden. Weitere Informationen finden Sie unter Funktionsrollentypdeklarationen verwenden.

Gefundene Defekte Gibt die Anzahl der bei der Analyse gefundenen Defekte an. Ein Mangel ist ein Verstoß gegen eine DDI-Compliance-Regel.

Ausgeführte Tests Gibt die Anzahl der Regeln an, die während der Analyse getestet wurden. Dies sind die Regeln, die Sie auf der Registerkarte Regeln auswählen.

Status

Meldet den Status der Analyse. Anschließend können Sie die gefundenen Ergebnisse überprüfen.

Ergebnisse

Abgeschlossen (Regel)
SDV prüfte den Fahrer auf Verstöße gegen die Vorschrift, konnte aber keine Verstöße nachweisen.

Dieses Ergebnis bedeutet nicht, dass der Treiber fehlerfrei ist. Es bedeutet nur, dass SDV nicht beweisen konnte, dass es die Regel im Überprüfungsdurchgang verletzt hat.

Vollziehen des Austritts
Wenn SDV einen oder mehrere Fehler gemeldet hat, klicken Sie auf den Link Defect, um den Static Driver Verifier Report zu verwenden, um die Fehlersuche anzuzeigen.

Nicht zutreffend
SDV hat den Treiber auf einen Verstoß gegen die Regel getestet, aber der Treiber unterstützte den für die Analyse erforderlichen Einstiegspunkt nicht oder der Treiber rief die Funktion, die von der Regel überwacht wird, nicht auf.

Wenn die Regel ein bestimmtes Argument in einem Funktionsaufruf (typischerweise ein Zeiger auf eine Ressource) überwacht und der Treiber die Funktion nicht aufruft oder nicht auf dieses Argument verweist, gilt die Regel nicht für den Treiber.

Wenn der Treiber die Einstiegspunkte angibt und die Funktionen aufruft, die von der Regel überwacht werden, kann dieses Ergebnis darauf hinweisen, dass SDV den Einstiegspunkt nicht gefunden oder nicht richtig interpretiert hat. Um zu bestätigen, dass diese Situation aufgetreten ist, prüfen und korrigieren Sie gegebenenfalls die Datei Sdv-map.h. Informationen zu diesem Verfahren finden Sie unter Scannen des Treibers.

Weitere Informationen zu den einzelnen Regeln finden Sie in der Referenz Static Driver Verifier Rules.

Um den Treiber genauer zu untersuchen, führen Sie eine Überprüfung mit verschiedenen Regeln durch.

Timeouts
SDV hat die Überprüfung der Regel abgebrochen, weil es sein Zeitlimit für die Überprüfung jeder Regel überschritten hat. Das Zeitlimit wird in der Static Driver Verifier Options File oder im Feld „Maximum time“ auf der Registerkarte Configuration festgelegt.

Eine Zeitüberschreitung wird als nicht schlüssiges Ergebnis betrachtet. Dies ist kein Hinweis auf einen Treiberfehler. Wenn SDV eine Zeitüberschreitung meldet, verlängern Sie die zulässige Zeit für die Überprüfung (den Wert SDV_SlamConfig_Timeout in sdv-default.xmlfile) und führen Sie die Überprüfung erneut durch.

Abgeschlossen (Eigentum)
SDV hat die Treibereigenschaftsregel für den angegebenen Treiber ausgeführt. Eine Treibereigenschaftsregel prüft die Fähigkeiten oder unterstützten Funktionen des Treibers und dient als Vorstufe für weitere Analysen. Die Treibereigenschaftsregel CancelRoutine prüft zum Beispiel, ob der WDM-Treiber eine Cancel-Routine registriert hat. Wenn eine Cancel-Routine nicht erkannt wird, gelten die spezifischen WDM-Regeln nicht. Dies bedeutet, dass die Eigenschaft des Fahrers nicht erfüllt wurde.

Zufrieden (Eigentum)
SDV hat die Treibereigenschaftsregel für den angegebenen Treiber ausgeführt. Eine Treibereigenschaftsregel prüft die Fähigkeiten oder unterstützten Funktionen des Treibers und dient als Vorstufe für weitere Analysen. Die Treibereigenschaftsregel CancelRoutine prüft zum Beispiel, ob der WDM-Treiber eine Cancel-Routine registriert hat. Wenn eine Cancel-Routine erkannt wird, gelten besondere WDM-Regeln. Dies bedeutet, dass die Eigenschaft des Fahrers erfüllt wurde

Spaceouts
Die Anzahl der Regeln, deren Überprüfung SDV abgebrochen hat, weil es die Speichergrenze für die Überprüfung der Regel überschritten hat. Das Speicherlimit wird in der Static Driver Verifier Options File, sdv-default.xml festgelegt.

Ein unvollständiges Ergebnis wird als nicht schlüssig angesehen. Wenn SDV ein Spaceout meldet, erweitern Sie den für die Überprüfung zugewiesenen Platz (den Wert SDV_SlamConfig_Spaceout in der Datei sdv-default.xml) und führen Sie die Überprüfung erneut durch.

Andere

Die Anzahl der Fälle, in denen SDV auf einen internen Fehler gestoßen ist, von dem es sich nicht erholen konnte. Weitere Informationen zu Fehlern und zur Fehlersuche finden Sie auf der Seite Static Driver Verifier Error Messages.