Driver Verifier in Windows 7

Updated: October 22, 2012

File name: Win7DriverVer.docx
85.7 KB
Microsoft Word file
Get Office File Viewers

Download

About This Download

Driver Verifier monitors kernel-mode drivers to detect incorrect function calls or actions that might corrupt the system. For Windows 7, Driver Verifier has several features that did not exist in earlier versions of Windows, 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.

This information applies for the Windows 7 operating system.

Included in this white paper:

• Incorrect References to User Handles from Kernel Drivers

• I/O Verification Improvements

• Special Pool, Pool Tracking, and Low Resources Simulation Improvements

• Incorrect Usage of Synchronization Mechanisms

• Incorrect Object References

• Pool Quota Charges from DPC Routine

• System Shutdown Blocks or Delays

• Improved Force Pending I/O Requests

• Additional Debugging Information

More Information

• Driver Verifier overview (including how to access Driver Verifier)

• Driver Verifier on other versions of Windows