Static Driver Verifier (SDV) is a thorough, compile-time, static verification tool designed for kernel-mode drivers. SDV finds serious errors that are unlikely to be encountered even in thorough testing. SDV systematically analyzes the source code of Windows drivers that are written in C and C++. SDV uses a set of interface rules and a model of the operating system to determine whether the driver interacts properly with the Windows operating system.
SDV can verify device drivers (function drivers, filter drivers, and bus drivers) that use the Windows Driver Model (WDM), Kernel-Mode Driver Framework (KMDF), NDIS, or Storport miniport models. SDV is designed to be used throughout the development cycle. You should run SDV as soon as the basic structure of a driver is in place, and continue to run it as you make changes to the driver. Development teams at Microsoft use SDV to improve the quality of the WDM, KMDF, NDIS, and Storport miniport drivers that ship with the operating system and the sample drivers that ship with the Windows Driver Kit (WDK).
SDV is included in the Windows Driver Kit (WDK) and supports x86-based and x64-based target platforms.
For Windows 8, SDV can be started from the Driver menu in Visual Studio. You can schedule when you want to run the analysis and you can conveniently select the DDI Compliance rules and rule sets to verify.