SpinLockSafe rule (storport)
This rule verifies that the IoStartNextPacket and IoCompleteRequest routines are not called while holding a spin lock. The rule keeps track of the number of spin locks held at any time, and if that number is not 0 when either routine is called, the driver fails the rule.
Driver model: Storport
How to test
|At compile time|
Run Static Driver Verifier and specify the SpinLockSafe 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.
Submit and view feedback for