Chapter 24: Static Driver Verifier

Overview

Static Driver Verifier-SDV-is a static analysis tool designed to automatically inspect C code in a Windows driver at compile time, targeting violations of KMDF and WDM usage rules. This chapter describes how SDV works and provides insight into using SDV to verify KMDF drivers.

For this chapter, you need …	From …
Tools and files
SDV in the WDK	%wdk%\tools\sdv (Windows Server Longhorn Beta 3 or later version)
Wdf.h header file	%wdk%\inc\wdf\kmdf
Dispatch_routines.h	%wdk%\tools\sdv\osmodel\wdf
Sample drivers
Osrusbfx2	%wdk%\src\kmdf\osrusbfx2
KMDF fail drivers	%wdk%\tools\sdv\samples\fail_drivers\kmdf
WDM fail drivers	%wdk%\tools\sdv\samples\fail_drivers\wdm
WDK documentation
Static Driver Verifier	http://go.microsoft.com/fwlink/?LinkId=80084
Other
"Static Driver Verifier" on the WHDC Web site	http://go.microsoft.com/fwlink/?LinkId=80082
Microsoft Research: SLAM	http://research.microsoft.com/slam