Einführung in die statische Treiberüberprüfung

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

SDV enthält eine Reihe von Regeln, die die ordnungsgemäße Interaktion zwischen einem Treiber und dem Betriebssystemkernels definieren. Während der Überprüfung überprüft SDV jeden anwendbaren Branch des Treibercodes und des Bibliothekscodes, den es verwendet, und versucht, nachzuweisen, dass der Treiber gegen die Regeln verstößt. Wenn SDV einen Verstoß nicht nachweisen kann, meldet es, dass der Treiber die Regeln einhält, und besteht die Überprüfung.

Dieser Abschnitt umfasst Folgendes:

Grundlegendes zur Überprüfung des statischen Treibers

Konzepte der statischen Treiberüberprüfung

Unterstützte Treiber

Einschränkungen der statischen Treiberüberprüfung