Edit

Share via

NdisAllocateMemoryWithTagPriority rule (ndis)

The NdisAllocateMemoryWithTagPriority rule specifies that a driver must not call NdisAllocateMemoryWithTagPriority without providing a Tag.

Every memory allocation should use a unique pool tag to ensure that kernel debuggers and Driver Verifier can identify a distinct allocated block of memory.

Driver model: NDIS

How to test

At compile time

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

NdisAllocateMemoryWithTagPriority