Compartir a través de

Regla IrqlKeReleaseSpinLock (wdm)

  • Artículo

La regla IrqlKeReleaseSpinLock especifica que el controlador llama a KeReleaseSpinLock solo cuando se ejecuta en IRQL igual a DISPATCH_LEVEL.

Esta regla también especifica que el valor del parámetro NewIrql en la llamada a KeReleaseSpinLock es igual al IRQL en el que se estaba ejecutando el controlador antes de la llamada a KeAcquireSpinLock. (Este valor también es el valor de Parámetro OldIrql proporcionado por KeAcquireSpinLock).

Modelo de controlador: WDM

Comprobaciones de errores encontradas con esta regla: Comprobación de errores 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015)

Cómo probar

En tiempo de compilación

Ejecute el comprobador de controladores estáticos y especifique la regla IrqlKeReleaseSpinLock .

Siga estos pasos para ejecutar un análisis del código:
  1. Prepare el código (use declaraciones de tipo de rol).
  2. Ejecute el comprobador de controladores estáticos.
  3. Visualice y analice los resultados.

Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.
En tiempo de ejecución

Ejecute el Comprobador de controladores y seleccione la opción comprobación de cumplimiento de DDI.

Se aplica a

KeReleaseSpinLock