Driver Verifier in Windows 7
Driver Verifier monitors kernel-mode drivers to detect incorrect function calls or actions that might corrupt the system. In Windows 7, Driver Verifier has several features that did not exist in earlier Windows versions, that detect new classes of driver defects, and that provide information for debugging these driver defects. This paper provides a preview of the Windows Driver Kit (WDK) documentation for these enhancements. Exposing these additional classes of common driver bugs assists driver developers in producing higher quality device drivers.