KMDF Verifier Properties for Driver Package Projects
Sets the properties for the KMDF Verifier (or framework verifier) on a remote computer. You can use these settings when you build and deploy a KMDF driver to a test computer. For information about KMDF drivers, see Kernel-Mode Driver Framework.
Setting KMDF Verifier properties for driver package projects
- Open the property pages for your driver package. Right-click the driver package project in Solution Explorer and select Properties.
- In the property pages for the driver package, click Configuration Properties, click Driver Install, and then click KMDF Verifier.
- Click the Enable KMDF Verifier option and select KMDF verifier is always on. When this option is selected, you can configure the framework verification options for KMDF drivers.
Enable KMDF Verifier
Enables the KMDF verifier on the test computer. The choices are KMDF verifier is always on or KMDF verifer is off. If the KMDF verifier is not enabled, basic framework verification is enabled as part of Driver Verifier if KMDF version is 1.9 or higher.
KMDF Service Names
Specifies the service names of the KDMF drivers to monitor.
Enables IRQL checks and critical memory leak checks.
Forward Compatible Checks
Enables checks created after the current driver version.
Forward Progress Handler Testing
Specifies options for testing forward progress handling of your driver.
No Allocation Failures No faults will be simulated to test the forward progress handling of your driver.
Fail All Allocations All I/O requests destined for a forward progress queue will appear to fail, relying on your driver's forward progress handling.
Randomly Fail Allocations Randomly fail I/O requests destined for a forward progress queue.
Track KMDF Object Handles
Specifies the list of object handle types to track.
Enable KMDF Loader Messages
Enables KMDF loader messages through the debugger. A reboot of the target computer is required to enable this.
Starting with Windows Vista, the operating system suppresses DbgPrint output by default, which makes the WDF Loader diagnostic messages unusable until the suppression is overridden. KDMF Verifier can manage this for you so that KMDF loader diagnostics are available in the kernel debugger for these systems.
Enables verbose logging.
Memory Pages for Logs
Specifies the number of non-paged pool pages (1-10) to allocate for kernel event trace logs. The options are Runtime Choice or [1-10]. If Runtime Choice, the number of pages depends on the KMDF runtime. Starting with KMDF 1.9, the runtime uses more pages when verification is enabled with verbose logging.
Fail Memory Allocations
Specifies the number of successful memory allocations allowed before the KMDF verifier starts to fail all memory allocations.