Verificação de MDL Invariante para Controlador

A opção Invariant MDL Checking for Driver monitora como o driver lida com buffers MDL invariantes por driver. Esta opção deteta a modificação ilegal de buffers MDL invariantes. Para usar essa opção, você deve habilitar a Verificação de E/S em pelo menos um driver.

Observação Esta opção está disponível a partir do Windows 8.

A opção Invariant MDL Checking for Driver executa uma forma mais intensiva da verificação MDL invariante do que a opção Invariant MDL Checking for Stack . Quando a verificação de driver MDL invariante está ativa, a invariância do buffer é validada em todas as chamadas para as rotinas IoCallDriver e IoCompleteRequest .

Sempre que um novo buffer MDL invariante é visto com um IRP, o Verificador de Driver calcula uma assinatura para o conteúdo do buffer e a armazena em seu banco de dados interno. Quando o Verificador de Driver encontrar um buffer MDL invariante que ele viu anteriormente, ele validará que o conteúdo do buffer não foi alterado, comparando a assinatura no banco de dados com a assinatura computada sobre o conteúdo do buffer MDL invariante atual.

Esta opção é global e não pode ser aplicada seletivamente alguns drivers.

Ativando esta opção

Você pode ativar o recurso Invariant MDL Checking for Driver para um ou mais drivers usando o Driver Verifier Manager ou a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionando Opções do Verificador de Controladores. Você deve reiniciar o computador para ativar ou desativar a opção Invariant MDL Checking for Driver.

Para ativar a opção Invariant MDL Checking for Stack , você também deve ativar a Verificação de E/S.

• Na linha de comando

  Na linha de comando, o Invariant MDL Checking for Driver é representado pelo verificador /flags 0x00004000 (Bit 14). Para ativar a verificação MDL invariante para Driver, use um valor de sinalizador de 0x00004010, ou adicione 0x00004010 ao valor do sinalizador. Esse valor ativa a Verificação de E/S (0x10) e a Verificação de driver MDL invariante (0x00004000). Por exemplo:

  verifier /flags 0x00004010 /driver MyDriver.sys
  

  O recurso estará ativo após a próxima inicialização.

• Usando o Gestor do Verificador de Drivers

  1. Inicie o Driver Verifier Manager. Digite Verifier numa janela da Linha de Comandos.
  2. Selecione Criar configurações personalizadas (para desenvolvedores de código) e clique em Avançar.
  3. Selecione configurações individuais de uma lista completa.
  4. Selecione (marque)I/O Verification e Verificação Invariante MDL para Driver.
  5. Reinicie o computador.