Toolsbeispiele

Die Treiberbeispiele in diesem Verzeichnis enthalten absichtliche Codefehler, die die Funktionen und Features von Static Driver Verifier (SDV) anzeigen sollen.

SDV ist ein statisches Überprüfungstool, das den Quellcode von Windows-Kernelmodustreibern systematisch analysiert. SDV ist im Windows Driver Kit (WDK) enthalten und kann von Microsoft Visual Studio ausgeführt werden.

Beispiel	BESCHREIBUNG
DV-FailDriver-WDM	In diesem Beispiel wird veranschaulicht, wie DV Fehler in einem WDM-Treiber finden kann.
SDV-FailDriver-KMDF	In diesem Beispiel wird veranschaulicht, wie SDV Fehler in einem KMDF-Treiber finden kann.
SDV-FailDriver-NDIS	In diesem Beispiel wird veranschaulicht, wie SDV Fehler in einem NDIS-Treiber finden kann.
SDV-FailDriver-STORPORT	In diesem Beispiel wird veranschaulicht, wie SDV Fehler in einem Storport-Treiber finden kann.
SDV-FailDriver-WDM	In diesem Beispiel wird veranschaulicht, wie SDV Fehler in einem WDM-Treiber finden kann.