Regola CancelSpinLock (storport)
La regola CancelSpinLock Rule (Storport) verifica che ogni chiamata a IoAcquireCancelSpinLock venga seguita tempestivamente da una chiamata a IoReleaseCancelSpinLock.
IoReleaseCancelSpinLock non deve essere chiamato senza prima acquisire il blocco di selezione annulla. Inoltre, quando una routine di callback miniport viene chiusa, non deve contenere blocchi di rotazione annulla
Modello di driver: Storport
Come eseguire il test
In fase di compilazione |
---|
Eseguire Static Driver Verifier e specificare la regola CancelSpinLock . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers. |