Comprobación de MDL invariable para controlador

La opción de Comprobación de MDL invariable para el controlador supervisa cómo cada controlador gestiona los búferes MDL invariables de manera individual. Esta opción detecta la modificación no válida de los búferes MDL invariables. Para usar esta opción, debe habilitar la comprobación de E/S en al menos un controlador.

Nota Esta opción está disponible a partir de Windows 8.

La opción Comprobación de MDL invariable para el controlador realiza la comprobación MDL invariable de una manera más intensiva que la opción Comprobación de MDL invariable para la pila. Cuando la comprobación de invariancia de MDL para el controlador está activa, la invariancia del búfer se valida en todas las llamadas a las rutinas IoCallDriver e IoCompleteRequest.

Cada vez que se ve un nuevo búfer MDL invariable con un IRP, el comprobador de controladores calcula una firma para el contenido del búfer y lo almacena en su base de datos interna. Cuando el Comprobador de controladores encuentra un búfer MDL invariable que ha visto anteriormente, validará que el contenido del búfer no ha cambiado, comparando la firma de la base de datos con la firma calculada sobre el contenido del búfer MDL invariable actual.

Esta opción es global y no se puede aplicar a algunos controladores de forma selectiva.

Activación de esta opción

Puede activar la característica Comprobación de MDL invariable para el controlador para uno o varios controladores mediante el Administrador del comprobador de controladores o la línea de comandos de Verifier.exe. Para obtener más información, consulte Seleccionar opciones del comprobador de controladores. Debe reiniciar la computadora para activar o desactivar la opción de Comprobación Invariable de MDL para el controlador.

Para activar la opción Comprobación de MDL invariable de pila, también debe activar la verificación I/O.

• En la línea de comandos

  En la línea de comandos, la comprobación Invariante del MDL para el controlador se representa mediante verifier /flags 0x00004000 (Bit 14). Para activar la verificación invariable de MDL para el controlador, use un valor de bandera de 0x00004010 o agregue 0x00004010 al valor de bandera. Este valor activa la comprobación de E/S (0x10) y la comprobación de MDL invariable para el controlador (0x00004000). Por ejemplo:

  verifier /flags 0x00004010 /driver MyDriver.sys
  

  La característica estará activa después del siguiente arranque.

• Uso del Administrador del Verificador de Controladores

  1. Inicie el Administrador del comprobador de controladores. Escriba Comprobador en una ventana del símbolo del sistema.
  2. Seleccione Crear configuración personalizada (para desarrolladores de código) y, a continuación, haga clic en Siguiente.
  3. Seleccione Seleccionar configuración individual en una lista completa.
  4. Seleccione la verificación de E/S y la verificación de invariantes MDL para el controlador.
  5. Reinicia el ordenador.