Regla SpinLockRelease (storport)
Esta regla comprueba que el controlador no intenta liberar un bloqueo a través de KeReleaseSpinLock sin adquirirlo primero a través de KeAquireSpinlock o KeAcquireSpinLockRaiseToDpc. La regla pasa cuando se libera el bloqueo de número adquirido.
Modelo de controlador: Storport
Cómo probar
En tiempo de compilación |
---|
Ejecute el Comprobador de controladores estáticos y especifique la regla SpinLockRelease . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores. |
Se aplica a
KeAcquireSpinLockKeAcquireSpinLockRaiseTodpcKeReleaseSpinLock
Comentarios
https://aka.ms/ContentUserFeedback.
Próximamente: A lo largo de 2024 iremos eliminando gradualmente GitHub Issues como mecanismo de comentarios sobre el contenido y lo sustituiremos por un nuevo sistema de comentarios. Para más información, vea:Enviar y ver comentarios de