Edit

Share via

AddDevice rule (wdm)

  • Article

The AddDevice rule specifies that the driver's AddDevice routine calls IoAttachDeviceToDeviceStack only after calling IoCreateDevice.

This rule applies only to drivers that have an AddDevice routine.

This rule does not verify that the driver calls IoCreateDevice or IoAttachDeviceToDeviceStack and does not monitor calls to IoCreateDeviceSecure.

Driver model: WDM

How to test

At compile time

Run Static Driver Verifier and specify the AddDevice 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

IoAttachDeviceToDeviceStack IoCreateDevice