Verificação de conformidade DDI

A opção de verificação de conformidade da DDI (Interface de Driver de Dispositivo) determina se o driver interage corretamente com o kernel do sistema operacional Windows.

Nota Essa opção está disponível a partir do Windows 8. A partir do Windows 8.1, você pode testar regras adicionais selecionando Ativar a opção de verificação de conformidade de DDI (adicional).

A opção de verificação de conformidade de DDI aplica as mesmas regras de uso da interface de driver de dispositivo (DDI) que o Verificador de Driver Estático utiliza para verificar se o driver realiza chamadas de função no IRQL requerido pela função ou adquire e libera corretamente os spinlocks.

Quando essa opção está ativa e o Verificador de Driver detecta que o driver viola uma das regras de conformidade da DDI, o Verificador de Driver emite verificação de bug 0xC4 (com Parameter 1 igual ao identificador da regra de conformidade específica).

Quando você seleciona a opção de verificação de conformidade de DDI, as regras a seguir são incluídas.

GuardedRegions (começando no Windows 8.1)

IoSetCompletionExCompleteIrp (começando no Windows 8.1)

IrqlApcLte

IrqlDispatch

IrqlExAllocatePool

IrqlExApcLte1

IrqlExApcLte2

IrqlExApcLte3

IrqlExPassive

IrqlIoApcLte

IrqlIoDispatch

IrqlIoPassive1

IrqlIoPassive2

IrqlIoPassive3

IrqlIoPassive4

IrqlIoPassive5

IrqlKeApcLte1

IrqlKeApcLte2

IrqlKeDispatchLte

IrqlKeReleaseSpinLock

IrqlKeSetEvent

IrqlMmApcLte

IrqlMmDispatch

IrqlObPassive

IrqlPsPassive

IrqlReturn (começando no Windows 8.1)

IrqlRtlPassive

IrqlZwPassive

NdisOidComplete (começando no Windows 8.1)

NdisOidDoubleComplete (começando no Windows 8.1)

PnpRemove (começando no Windows 8.1)

RequestedPowerIrp (começando no Windows 8.1)

QueuedSpinLock (começando no Windows 8.1)

SpinLock (começando no Windows 8.1)

Essas duas regras são opcionais no momento, mas recomendadas.

(Opcional) IrqlNtifsApcPassive

(Opcional) IrqlIoRtlZwPassive

Ativando a opção de verificação de conformidade de DDI

Você pode ativar o recurso de verificação de conformidade de DDI para um ou mais drivers usando o Driver Verifier Manager ou a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionar opções do Verificador de Driver. Você deve reiniciar o computador para ativar ou desativar a opção de verificação de conformidade de DDI. O recurso de verificação de conformidade de DDI é ativado quando você usa as configurações padrão (/padrão).

• Na linha de comando

  Na linha de comando, a verificação de conformidade de DDI é representada pelo verificador /sinalizadores 0x00020000 (Bit 17). Para ativar a verificação de conformidade de DDI, use um valor de sinalizador de 0x00020000 ou adicione 0x00020000 ao valor do sinalizador. Por exemplo:

  verifier /flags 0x00020000 /driver MyDriver.sys
  

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

• Usando o Gerenciador de Verificador de Driver

  1. Iniciar o Gerenciador de Verificador de Driver. Digite Verificador em uma janela do Prompt de Comando.
  2. Selecione Criar configurações personalizadas (para desenvolvedores de código) e clique em Avançar.
  3. Selecione Selecionar configurações individuais em uma lista completa.
  4. Selecione (verificar) a verificação de conformidade de DDI.
  5. Reinicie o computador.

A partir do Windows 8.1, a opção de verificação de conformidade DDI (adicional) fornece regras adicionais para determinar se o driver interage corretamente com o kernel do sistema operacional Windows. Quando você seleciona a opção de verificação de conformidade de DDI (adicional), as seguintes regras são testadas:

• CriticalRegions

• QueuedSpinLockRelease

• SpinlockRelease

Ativando a opção de verificação de conformidade de DDI (adicional)

Você pode ativar as regras de verificação de conformidade de DDI (adicional) para um ou mais drivers usando o Driver Verifier Manager ou a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionar opções do Verificador de Driver. Você deve reiniciar o computador para ativar ou desativar a opção de verificação de conformidade de DDI (adicional ).

• Na linha de comando

  Na linha de comando, a verificação de conformidade de DDI é representada pelo verificador /flags 0x00080000 (Bit 19). Para ativar a verificação de conformidade de DDI (adicional), use um valor de sinalizador de 0x00080000 ou adicione 0x00080000 ao valor do sinalizador. Por exemplo:

  verifier /flags 0x00080000 /driver MyDriver.sys
  

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

• Usando o Gerenciador de Verificador de Driver

  1. Para iniciar o Gerenciador de Verificação de Drivers, digite Verifier em uma janela do Prompt de Comando.
  2. Selecione Criar configurações personalizadas (para desenvolvedores de código) e clique em Avançar.
  3. Selecione Selecionar configurações individuais em uma lista completa.
  4. Selecione (verificar) verificação de conformidade de DDI (adicional).
  5. Reinicie o computador.

Ativação da verificação de conformidade DDI (opção de IRQL adicional)

Você pode ativar as regras IRQL adicionais de Conformidade de DDI para um ou mais drivers usando a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionar opções do Verificador de Driver. Você deve reiniciar o computador para ativar ou desativar as regras adicionais de IRQL de Compatibilidade de DDI.

Na linha de comando, a verificação adicional de conformidade de DDI com IRQL é representada por um valor de classe de regra de 35. Por exemplo:

verifier /ruleclasses 35 /driver MyDriver.sys

OR

verifier /rc 35 /driver MyDriver.sys

O conjunto de regras IRQL adicional consiste nas duas regras a seguir.

(Opcional) IrqlNtifsApcPassive

(Opcional) IrqlIoRtlZwPassive