Driver Verifier in Windows 7
Updated: November 5, 2008
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 |
