Condividi tramite

Regola SpinlockRelease (kmdf)

  • Articolo

La regola SpinlockRelease specifica che le chiamate a KeAcquireSpinLock, KeAcquireSpinLockRaiseToDpc e KeReleaseSpinLock vengono usate in modo bilanciato all'interno di un callback kmDF. Alla fine di qualsiasi routine di callback kmDF, il driver non deve contenere il blocco di rotazione.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola SpinlockRelease .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock