Regla IoSetCompletionRoutineExCheck (wdm)

La regla IoSetCompletionRoutineExCheck especifica que la rutina IoSetCompletionRoutineEx devuelve un valor NTSTATUS. El controlador debe comprobar este valor para determinar si la rutina IoCompletion se registró correctamente antes de llamar a IoCallDriver o PoCallDriver.

Si la rutina IoCompletion se registra correctamente, IoSetCompletionRoutineEx asigna memoria que permanece asignada hasta que se ejecuta la rutina de IoCompletion . Los controladores deben asegurarse de que su rutina de IoCompletion se ejecuta mediante una llamada a IoCallDriver o PoCallDriver de lo contrario, el kernel perderá memoria.

Modelo de controlador: WDM

Cómo probar

En tiempo de compilación

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

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, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

IoCallDriverIoSetCompletionRoutineExPoCallDriver