Edit

Share via

NdisAllocateNetBuffer rule (ndis)

The NdisAllocateNetBuffer rule specifies that NdisAllocateNetBuffer and NdisFreeNetBuffer are called in alternate order. The ultimate goal is to make sure all instances of NET_BUFFER are freed when MiniportHaltEx ends.

The rule uses three different states. The state changes when a NET_BUFFER is allocated or freed. If a NET_BUFFER is still allocated when the MiniportHaltEx exits, the rule reports the defect.

Driver model: NDIS

How to test

At compile time

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

NdisAllocateNetBuffer NdisFreeNetBuffer