Leer en inglés

Compartir a través de


Regla SpinLockDprRelease (ndis)

La regla SpinLockDprRelease comprueba que las llamadas a NdisAcquireSpinLock o NdisDprAcquireSpinLock solo se llaman cuando SpinLock es el estado "desbloqueado". Esta regla también comprueba que antes de salir de la rutina del controlador de minipuerto se ha liberado SpinLock.

Modelo de controlador: NDIS

Cómo probar

En tiempo de compilación

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

Usa los pasos siguientes para ejecutar un análisis de tu código:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

NdisAcquireSpinLockNdisAllocateSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock