Einführung in die Statische Treiberüberprüfung

Static Driver Verifier (SDV) ist ein statisches Überprüfungstool, das zur Kompilierzeit ausgeführt wird. Er untersucht Pfade im Treibercode, indem der Quellcode symbolisch ausgeführt wird. Dabei werden die wenigsten möglichen Annahmen über den Zustand des Betriebssystems und den Anfangszustand des Treibers getroffen. Daher kann SDV Code in Pfaden trainieren, die bei herkömmlichen Tests nicht vorhanden sind.

SDV enthält eine Reihe von Regeln, die die ordnungsgemäße Interaktion zwischen einem Treiber und dem Betriebssystemkernel definieren. Während der Überprüfung überprüft SDV alle anwendbaren Verzweigungen des Treibercodes und des verwendeten Bibliothekscodes und versucht, nachzuweisen, dass der Treiber gegen die Regeln verstößt. Wenn SDV einen Verstoß nicht nachweisen kann, meldet er, dass der Treiber die Regeln erfüllt und die Überprüfung besteht.

Dieser Abschnitt umfasst Folgendes:

Grundlegendes zur Überprüfung statischer Treiber

Konzepte der Statischen Treiberüberprüfung

Unterstützte Treiber

Einschränkungen bei der Überprüfung statischer Treiber