Regola QueuedSpinLockRelease (storport)
Questa regola verifica che il driver non chiami KeReleaseInStackQueuedSpinLock senza prima acquisire il blocco tramite KeAcquireInStackQueuedSpinLock.
Modello di driver: Storport
In fase di compilazione |
---|
Eseguire il verifica driver statico e specificare la regola QueuedSpinLockRelease . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |
KeAcquireInStackQueuedSpinLockKeReleaseInStackQueuedSpinLock