IoAllocate rule (wdm)
[This documentation is preliminary and is subject to change.]
This is a driver property rule. A driver property rule checks for driver capabilities or supported features and is a prelude to further analysis. This driver property is satisfied if the driver allocates local IRPs.
| Driver model | WDM |
How to test
| At compile time |
|---|
Run Static Driver Verifier and specify the IoAllocate rule. Use the following steps to run an analysis of your code:
For more information, see Using Static Driver Verifier to Find Defects in Drivers. |
Applies to
Send comments about this topic to Microsoft
Build date: 5/1/2012