Oharra
Baimena behar duzu orria atzitzeko. Direktorioetan saioa has dezakezu edo haiek alda ditzakezu.
Baimena behar duzu orria atzitzeko. Direktorioak alda ditzakezu.
La regla CriticalRegions especifica que el controlador debe llamar a KeEnterCriticalRegion antes de llamar a KeLeaveCriticalRegion y que el controlador llama a KeLeaveCriticalRegion antes de cualquier llamada posterior a KeEnterCriticalRegion. (Se permiten llamadas anidadas).
Esta regla también especifica que el controlador llama a KeLeaveCriticalRegion para volver a habilitar la entrega de llamadas a procedimientos asincrónicos (APC) normales del kernel antes de que se devuelva.
La documentación de WDK de KeEnterCriticalRegion y KeLeaveCriticalRegion explica que el autor de la llamada de estas funciones se puede ejecutar en IRQL<=APC_LEVEL. En esta situación, esta regla aplica una recomendación de procedimiento recomendado.
Modelo de controlador: WDM
Comprobaciones de errores encontradas con esta regla: Comprobación de errores 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00040003)
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el Comprobador de controladores estáticos y especifique la regla CriticalRegions . 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. |
| En tiempo de ejecución |
|---|
Ejecute comprobador de controladores y seleccione la opción comprobación de cumplimiento de DDI (adicional). |
Se aplica a
ExEnterCriticalRegionAndAcquireResourceExclusiveExReleaseResourceAndLeaveCriticalRegionKeEnterCriticalRegionKeLeaveCriticalRegion