Edit

Share via

DeviceCreateFail rule (kmdf)

  • Article

The DeviceCreateFail rule specifies that EVT_WDF_DRIVER_DEVICE_ADD returns an error status when the call to WdfDeviceCreate fails.

For the driver to service a device, the device object must be created successfully.

Driver model: KMDF

How to test

At compile time

Run Static Driver Verifier and specify the DeviceCreateFail rule.

Use the following steps to run an analysis of your code:
  1. Prepare your code (use role type declarations).
  2. Run Static Driver Verifier.
  3. View and analyze the results.

For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Applies to

WdfDeviceCreate