Bestandene und fehlgeschlagene Überprüfung

Die SDV-Überprüfung einer Regel hat drei grundlegende Ergebnisse:

• Der Treiber besteht die Überprüfung.

• Der Treiber schlägt die Überprüfung fehl.

• Das Ergebnis ist nicht eindeutig.

Bevor Sie auf der Grundlage dieser Ergebnisse Schlussfolgerungen ziehen, sollten Sie jedes Ergebnis verstehen und sich der vielen Qualifikationen bewusst sein, die sie mit sich bringen. Sie sollten kein Ergebnis als eine endgültige oder vollständige Bewertung des Fahrers bewerten.

Überprüfungsergebnisse

Ein Treiber besteht eine SDV-Überprüfung, wenn die SDV-Überprüfungs-Engine nach dem Untersuchen aller relevanten Ausführungspfade im Code des Treibers nicht nachweisen kann, dass der Treiber gegen eine Regel verstoßen hat, die zur Überprüfung ausgewählt wurde.

Ein Treiber schlägt eine Überprüfung fehl, wenn die SDV-Überprüfungs-Engine nachweist, dass der Treiber mindestens einmal gegen eine Regel verstoßen hat. Der Verstoß wird als Fehler bezeichnet. Wenn der Treiber mehr als einmal gegen eine Regel verstoßen hat, meldet SDV mehrere Fehler.

Eine Überprüfung ist nicht schlüssig , wenn sie beendet wird, bevor sie aufgrund von Timeouts (einem Timeoutergebnis ) oder einem Speichermangel (ein Leerraumergebnis ) abgeschlossen wird oder wenn SDV keinen erfolgreichen oder fehlerhaften Abschluss (ein unsicheres Ergebnis) erreichen konnte. Außerdem sind bei SDV möglicherweise interne Toolfehler aufgetreten, die die Ausführung ihrer Aufgaben verhindern. (Weitere Informationen zu den Ergebnissen finden Sie unter Interpreting Static Driver Verifier Results.)

Wenn eine Regel nicht für den Treiber gilt, z. B. wenn der Treiber nicht die Gerätetreiberschnittstellen nutzt, die die Regel überprüft, meldet SDV, dass die Regel nicht zutreffend ist.