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.
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:
For more information, see Using Static Driver Verifier to Find Defects in Drivers.