Regola IrqlKeReleaseSpinLock (wdm)

  • Articolo

La regola IrqlKeReleaseSpinLock specifica che il driver chiama KeReleaseSpinLock solo quando viene eseguito in IRQL uguale a DISPATCH_LEVEL.

Questa regola specifica inoltre che il valore del parametro NewIrql nella chiamata a KeReleaseSpinLock è uguale a IRQL in cui il driver è stato eseguito prima della chiamata a KeAcquireSpinLock. (Questo valore è anche il valore di Parametro OldIrql fornito da KeAcquireSpinLock.

Modello di driver: WDM

Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015)

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlKeReleaseSpinLock .

Per eseguire un'analisi del codice, seguire questa procedura:
  1. Preparare il codice (usare le dichiarazioni del tipo di ruolo).
  2. Eseguire verifica driver statici.
  3. Visualizzare e analizzare i risultati.

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.
In fase di esecuzione

Eseguire Driver Verifier e selezionare l'opzione di controllo della conformità DDI.

Si applica a

KeReleaseSpinLock