Edit

KMDF Verifier Properties for Driver Package Projects

  • Article

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.

For more information about the framework verifier, see Using the Framework's Verifier and WDF Verifier Control Application.

Setting KMDF Verifier properties for driver package projects

  1. Open the property pages for your driver package. Select and hold (or right-click) the driver package project in Solution Explorer and select Properties.
  2. In the property pages for the driver package, select Configuration Properties, select Driver Install, and then select KMDF Verifier.
  3. Select 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.
Option Description

Enable KMDF Verifier

Enables the KMDF verifier on the test computer. The choices are KMDF verifier is always on or KMDF verifier 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 KMDF drivers to monitor.

IRQL checks

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. KMDF Verifier can manage this for you so that KMDF loader diagnostics are available in the kernel debugger for these systems.

Verbose logging

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.