Sintaxe do comando Driver Verifier

A sintaxe a seguir é usada ao executar o utilitário Verificador em uma janela do Prompt de Comando.

Você pode digitar várias opções na mesma linha única. Por exemplo:

verifier /flags 7 /driver beep.sys disksdd.sys

Sintaxe do Windows 11

Você pode usar o parâmetro /volatile com algumas opções /flags do Verificador de Driver. Para obter detalhes, consulte Usando configurações voláteis.

Observação

O parâmetro /volatile será preterido em uma versão futura do Windows. No Windows 11, a opção de substituição é a opção /dif DifEnabledRule /now . Consulte a seção Classes de regra do Windows 11 abaixo para obter as classes de regras que podem ser habilitadas usando essa opção.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /all
  verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /driver NAME [NAME ...]
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /dif [<ruleclass_1> <ruleclass_2> ...] /now /driver NAME [NAME ...]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
  verifier /bc <number_of_reboots>
  verifier /reset
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /domain <types> <options> /driver ... [/logging | /livedump]
  verifier /logging
  verifier /livedump
  verifier /?
  verifier /help

Sintaxe do Windows 10

Você pode usar o parâmetro /volatile com algumas opções /flags do Verificador de Driver e com /standard. Você não pode usar /volatile com as opções /flags para verificação de conformidade de DDI, Power Framework Delay Fuzzing ou Verificação de Storport. Para obter detalhes, consulte Usando configurações voláteis.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier {/ruleclasses | /rc} <options> [<ruleclass_1> <ruleclass_2> ...] /all
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
  verifier /reset
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /domain <types> <options> /driver ... [/logging | /livedump]
  verifier /logging
  verifier /livedump
  verifier /?
  verifier /help

Sintaxe do Windows 8.1

Você pode usar o parâmetro /volatile com algumas opções /flags do Verificador de Driver e com /standard. Você não pode usar /volatile com as opções /flags para verificação de conformidade de DDI, Power Framework Delay Fuzzing, Verificação de Storport. Para obter detalhes, consulte Usando configurações voláteis.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | disableafterfail | oneboot]
  verifier /reset
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /?

Sintaxe do Windows 8, Windows 7

Você pode usar o parâmetro /volatile com algumas opções /flags do Verificador de Driver e com /standard. Você não pode usar /volatile com as opções /flags para verificação de conformidade de DDI, Power Framework Delay Fuzzing, Verificação de Storport, Verificação de SCSI ou com /disk. Para obter detalhes, consulte Usando configurações voláteis.

verifier [/volatile] [/standard | /flags Options ] [ /all | /driver DriverList ]
verifier /volatile /faults [Probability PoolTags Applications DelayMins] /driver DriverList
verifier /volatile {/adddriver | /removedriver} DriverList
verifier /reset
verifier /querysettings
verifier /query
verifier /log LogFileName [/interval Seconds]
verifier /?

Parâmetros

Sintaxe de linha de comando do verificador

/all Direciona o Verificador de Driver para verificar todos os drivers instalados após a próxima inicialização.

/bc <number_of_reboots> Define o número de reinicializações para as quais a verificação deve estar ativa.

Essa opção define automaticamente o modo de inicialização ResetOnUnusualShutdown.

/bootmode mode Controla se as configurações do Verificador de Driver são habilitadas após uma reinicialização. Para definir ou alterar essa opção, você precisa reinicializar o computador.

Modo de inicialização Descrição

persistente

Garante que as configurações do Verificador de Driver persistam (permaneçam em vigor) durante muitas reinicializações. Esta é a configuração padrão.

resetonbootfail

Desabilita o Verificador de Driver para reinicializações subsequentes se o sistema não for iniciado.

Inicialização

Habilita as configurações do Verificador de Driver apenas para a próxima vez que o computador for iniciado. O Verificador de Driver está desabilitado para reinicializações subsequentes.

resetondesligamento incomum

(Introduzido no Windows 10, compilação 1709) O Verificador de Driver persistirá até que ocorra um desligamento incomum. Sua abreviatura, 'rous', pode ser usada.

/dif DifEnabledRule Habilite a verificação usando uma regra habilitada para DIF. A verificação entrará em vigor na próxima vez que o sistema for reinicializado. Adicionado no Windows 11.

/dif DifEnabledRule /now Habilite imediatamente a verificação usando uma regra habilitada para DIF. Habilita as classes de regra imediatamente sem precisar reinicializar. Essa opção só é válida se nenhuma classe de regra já estiver em execução. Consulte as descrições de classe de regra do Windows 11 para obter as classes de regra capazes de ativação imediata.

/driver DriverList Especifica um ou mais drivers que serão verificados. DriverList é uma lista de drivers por nome binário, como Driver.sys. Use um espaço para separar cada nome de driver. Não há suporte para valores curinga, como n*.sys.

/driver.exclude DriverList Especifica um ou mais drivers que serão excluídos da verificação. Esse parâmetro só será aplicável se todos os drivers forem selecionados para verificação. DriverList é uma lista de drivers por nome binário, como Driver.sys. Use um espaço para separar cada nome de driver. Não há suporte para valores curinga, como n*.sys.

/faults Habilita o recurso Simulação de Recursos Baixos no Verificador de Driver. Você pode usar /faults no lugar de /flags 0x4. No entanto, você não pode usar /flags 0x4 com os subparâmetros /faults .

Você pode usar os seguintes subparâmetros do parâmetro /faults para configurar a Simulação de Recursos Baixos.

Sub-parâmetro Descrição

Probabilidade

Especifica a probabilidade de que o Verificador de Driver falhe em uma determinada alocação. Digite um número (em decimal ou hexadecimal) para representar o número de chances em 10.000 de que o Verificador de Driver falhe na alocação. O valor padrão, 600, significa 600/10000, ou 6%.

Tags de piscina

Limita as alocações que o Verificador de Driver pode falhar a alocações com as marcas de pool especificadas. Você pode usar um caractere curinga (*) para representar várias marcas de pool. Para listar várias marcas de pool, separe as marcas com espaços. Por padrão, todas as alocações podem falhar.

Aplicativos

Limita as alocações que o Verificador de Driver pode falhar às alocações para o programa especificado. Digite o nome de um arquivo executável. Para listar programas, separe os nomes dos programas com espaços. Por padrão, todas as alocações podem falhar.

AtrasoMins

Especifica o número de minutos após a inicialização durante os quais o Verificador de Driver não falha intencionalmente em nenhuma alocação. Esse atraso permite que os drivers sejam carregados e o sistema se estabilize antes do início do teste. Digite um número (no formato decimal ou hexadecimal). O valor padrão é 7 (minutos).

/faultssystematic Especifica as opções para Simulação sistemática de poucos recursos. Use o sinalizador 0x40000 para selecionar a opção Simulação sistemática de recursos baixos.

OPÇÃO Descrição

ativar boottime

Habilita injeções de falha em reinicializações de computador.

desativartempo de inicialização

Desabilita injeções de falha em reinicializações de computador (essa é a configuração padrão).

tempo de inicialização recorde

Habilita injeções de falha no modo "e se" nas reinicializações do computador.

resetboottime

Desabilita as injeções de falha nas reinicializações do computador e limpa a lista de exclusão de pilha.

habilitartempo de execução

Habilita dinamicamente injeções de falhas.

desativartempo de execução

Desativa dinamicamente as injeções de falha.

Gravaçãoem tempo de execução

Habilita dinamicamente injeções de falhas no modo hipotético .

resettempo de execução

Desativa dinamicamente as injeções de falhas e limpa a lista de pilhas com falhas anteriormente.

querystatistics

Mostra as estatísticas atuais de injeção de falhas.

contador de incrementos

Incrementa o contador de aprovação de teste usado para identificar quando uma falha foi injetada.

getstackid CONTADOR

Recupera o identificador de pilha injetado indicado.

excludestack STACKID

Exclui a pilha da injeção de falha.

/flags Opções Ativa as opções especificadas após a próxima reinicialização. Este número pode ser inserido em formato decimal ou hexadecimal (com prefixo 0x ). Qualquer combinação dos valores a seguir é permitida.

Decimal Hexadecimal Configuração padrão Opção

1

0x1 (bit 0)

X

Piscina Especial

2

0x2 (bit 1)

X

Forçar verificação de IRQL

4

0x4 (bit 2)

Simulação de recursos baixos

8

0x8 (bit 3)

X

Rastreamento de pool

16

0x10 (bit 4)

X

Verificação de E/S

32

0x20 (bit 5)

X

Detecção de deadlock

64

0x40 (bit 6)

Verificação de E/S aprimorada Esta opção é ativada automaticamente quando você seleciona Verificação de E/S

128

0x80 (bit 7)

X

Verificação DMA

256

0x100 (bit 8)

X

Verificações de segurança

512

0x200 (bit 9)

Forçar solicitações de E/S pendentes

1024

0x400 (bit 10)

Registro IRP

2048

0x800 (bit 11)

X

Cheques Diversos

8192

0x2000 (bit 13)

Verificação de MDL invariável para pilha (a partir do Windows 8)

16384

0x4000 (bit 14)

Verificação de MDL invariável para driver (a partir do Windows 8)

32768

0x8000 (bit 15)

Power Framework Delay Fuzzing (a partir do Windows 8) (preterido no Windows 10 Build 19042 e superior)

65536

0x10000 (bit 16)

Verificação de interface de porta/miniporto (a partir do Windows 10)

131072

0x20000 (bit 17)

X

Verificação de conformidade de DDI (a partir do Windows 8)

262144

0x40000 (bit 18)

Simulação sistemática de recursos baixos (a partir do Windows 8.1) (preterida no Windows 10 Build 19042 e superior)

524288

0x80000 (bit 19)

Verificação de conformidade de DDI (adicional) (a partir do Windows 8.1) (preterido no Windows 10 Build 19042 e superior)

2097152

0x200000 (bit 21)

Verificação NDIS/WIFI (a partir do Windows 8.1)

8388608

0x800000 (bit 23)

Fuzzing de atraso de sincronização do kernel (a partir do Windows 8.1) (preterido no Windows 10 Build 19042 e superior)

16777216

0x1000000 (bit 24)

Verificação do comutador de VM (a partir do Windows 8.1)

33554432

0x2000000 (bit 25)

Verificações de integridade de código (começando com Windows 10)

Você não pode usar esse método para ativar as opções de Verificação de Storport. Para obter informações, consulte Verificação de Storport.

/flags VolatileOptions Especifica as opções do Verificador de Driver que são alteradas imediatamente sem reinicialização.

Você pode usar o parâmetro /volatile com todos os valores /flags .)

Insira um número em formato decimal ou hexadecimal (com um prefixo 0x ).

Qualquer combinação dos seguintes valores é permitida.

Hexadecimal Opção

0x00000004 (bit 2)

Simulação Aleatória de Baixos Recursos

0x00000020 (bit 5)

Detecção de deadlocks

0x00000080 (bit 7)

Verificação de DMA

0x00000200 (bit 9)

Forçar solicitações de E/S pendentes

0x00000400 (bit 10)

Log IRP

/ruleclasses ou /rc< ruleclass_1><ruleclass_2 ... <>ruleclass_k>

O parâmetro ruleclasses está disponível a partir do Windows versão 1803.

O parâmetro ruleclasses abrange um conjunto maior de classes de verificação do que o parâmetro /flags acima. Embora /flags seja limitado a uma expressão de bitmap de 32 bits, essa opção pode incluir mais de 32 classes de verificação. Cada inteiro decimal positivo representa uma classe de verificação. Várias classes podem ser expressas separando cada id de classe com um caractere de espaço. As seguintes IDs de classes de regras estão disponíveis.

Classes de regras padrão

Valor Regra
1 Piscina especial
2 Forçar a verificação de IRQL
4 Rastreamento de pool
5 Verificação de E/S
6 Detecção de deadlocks
8 Verificação de DMA
9 Verificações de segurança
12 Verificações diversas
18 Verificação de conformidade DDI
34 Verificação do WDF
37 Verificação do filtro do sistema de arquivos (5)

Classes de regras adicionais

Essas classes de regra destinam-se a testes de cenários específicos. As classes de regra marcadas com (*) exigem verificação de E/S (5) e a habilitam automaticamente. As classes de regra marcadas com (**) suporte à desativação de regras individuais. As classes de regra marcadas com (***) estão no modo de registro por padrão e exigem /onecheck para travar em caso de violação.

Os sinalizadores marcados com (!) exigem que o modo DIF (classe de regra 36) seja ativado.

Valor Regra
3 Simulação aleatória de poucos recursos
10 Forçar solicitações de E/S pendentes (*)
11 Registro de IRP (*)
14 Verificação de MDL invariável para pilha (*)
15 Verificação de MDL invariável para driver (*)
16 Fuzzing de atraso da estrutura de energia
17 Verificação da interface de porta/miniporta
19 Simulação sistemática de recursos baixos
20 Verificação de conformidade com DDI (adicional)
22 Verificação NDIS/WIFI (**)
24 Fuzzing de atraso de sincronização do kernel
25 Verificação do comutador VM
26 Verificações de integridade de código
33 Verificações de isolamento do driver (***, !)
36 Modo DIF

Classes de regra do Windows 11

A partir do Windows 11, as seguintes classes de regra padrão estão disponíveis. Essas classes de regra são todas habilitadas ao usar a opção /standard .

A coluna /now indica quais classes de regra podem ser habilitadas sem uma reinicialização usando a opção /dif DifEnabledRule /now .

Classes de regras padrão

Valor Regra /agora
1 Piscina especial sim
2 Forçar a verificação de IRQL sim
4 Rastreamento de pool sim
5 Verificação de E/S sim
6 Detecção de deadlocks não
8 Verificação de DMA não
9 Verificações de segurança sim
12 Verificações diversas sim
18 Verificação de conformidade DDI sim
34 Verificação do WDF não
37 Verificação do filtro do sistema de arquivos não

Observe que a classe de regra 37 (verificação do filtro do sistema de arquivos) exige que a classe de regra 5 (verificação de E/S) também esteja habilitada. Consulte Verificação do filtro do sistema de arquivos para obter mais informações sobre essa classe de regra.

Classes de regras adicionais

As seguintes classes de regras adicionais estão disponíveis.

  • A coluna /now indica quais classes de regra podem ser habilitadas sem uma reinicialização usando a opção /dif DifEnabledRule /now .
  • A coluna Classes de regra necessárias indica quais classes de regra também devem ser habilitadas para usar a classe de regra fornecida. Observe que o comando /dif inclui automaticamente a classe de regra 36 (modo DIF), mas /ruleclasses e /rc não.
  • As classes de regra marcadas com (**) suporte à desativação de regras individuais.
  • As classes de regra marcadas com (***) estão no modo de log por padrão e exigem que a opção /onecheck falhe em caso de violação.
Valor Regra /agora Classes de regras necessárias
3 Simulação aleatória de poucos recursos não nenhum
10 Forçar solicitações de E/S pendentes não 5
11 Registro de IRP não 5
14 Verificação de MDL invariável para pilha não 5
15 Verificação de MDL invariável para driver não 5
16 Fuzzing de atraso da estrutura de energia não nenhum
17 Verificação da interface de porta/miniporta não nenhum
19 Simulação sistemática de recursos baixos sim 36
20 Verificação de conformidade com DDI - adicional sim nenhum
22 Verificação NDIS/WIFI (**) não nenhum
24 Fuzzing de atraso de sincronização do kernel não nenhum
25 Verificação do comutador VM não nenhum
26 Verificações de integridade de código não nenhum
33 Verificações de isolamento de driver (***) não 36
36 Modo DIF sim nenhum

/log LogFileName [/interval|Segundos] Cria um arquivo de log com o nome LogFileName. O Verificador de Driver grava estatísticas periodicamente nesse arquivo. Para obter detalhes, consulte Criando arquivos de log.

Se um comando verificador /log for digitado na linha de comando, o prompt de comando não retornará. Para fechar o arquivo de log e retornar um prompt, use CTRL+C. Após uma reinicialização, para criar um log, você precisa enviar o comando /log ao verificador novamente.

Opção Descrição
/intervalo Segundos Especifica o intervalo entre as atualizações do arquivo de log. O padrão é 30 segundos.

/rules Opções Opções para regras que podem ser desativadas (avançadas).

Opção Descrição

consulta

Mostra o status atual das regras controláveis.

reset

Redefine todas as regras para seu estado padrão.

ID padrão

Define a ID da regra para seu estado padrão. Para as regras com suporte, a ID da regra é o valor do parâmetro 1 do 0xC4 de Verificação de Bugs (DRIVER_VERIFIER_DETECTED_VIOLATION).

desabilitar ID

Desabilita a ID de regra especificada. Para as regras com suporte, a ID da regra é o valor do parâmetro 1 do 0xC4 de Verificação de Bugs (DRIVER_VERIFIER_DETECTED_VIOLATION).

/standard Ativa as opções "padrão" ou padrão do Verificador de Driver após a próxima inicialização. As opções padrão são Pool Especial, Forçar Verificação de IRQL, Rastreamento de Pool, Verificação de E/S, Detecção de Deadlock, Verificação de DMA. e Verificação WDF As opções padrão também incluem Verificações de Segurança, Verificações Diversas e verificação de conformidade com DDI.

Observação

A partir de versões do Windows 10 após 1803, o uso de /flags 0x209BB não habilitará mais automaticamente a verificação do WDF. Use a sintaxe /standard para habilitar opções padrão, com a verificação do WDF incluída.

/stop Desabilita as classes de regra habilitadas por meio de '/dif /now' para interromper a verificação.

/volatile /flags Altera as configurações sem reinicializar o computador. Configurações voláteis entram em vigor imediatamente. Você pode usar o parâmetro /volatile com o parâmetro /flags para habilitar e desabilitar algumas opções sem reinicializar. Você também pode usar /volatile com os parâmetros /adddriver e /removedriver para iniciar ou parar a verificação de um driver sem reinicializar, mesmo que o Verificador de Driver ainda não esteja em execução.

Especifica as opções do Verificador de Driver que são alteradas imediatamente sem reinicializar. Somente os seguintes sinalizadores podem ser usados com volátil:

0x00000004 (bit 2) - 0x00000020 de simulação aleatória de recursos baixos (bit 5) - 0x00000080 de detecção de deadlock (bit 7) - 0x00000200 de verificação de DMA (bit 9) - Forçar solicitações de E/S pendentes 0x00000400 (bit 10) - Log IRP

Para obter detalhes, consulte Usando configurações voláteis.

Opção Descrição

/adddriver VolatileDriverList

Adiciona os drivers especificados às configurações voláteis. Para especificar vários drivers, liste seus nomes separados por espaços. Não há suporte para valores curinga, como n.sys. Consulte Usando configurações voláteis para obter detalhes.

/removedriver VolatileDriverList

Remove os drivers especificados das configurações voláteis. Para especificar vários drivers, liste seus nomes separados por espaços. Não há suporte para valores curinga, como n.sys. Consulte Usando configurações voláteis para obter detalhes.

/reset Limpa todas as configurações do Verificador de Driver. Após a próxima inicialização, nenhum driver será verificado.

/querysettings Exibe um resumo das opções que serão ativadas e dos drivers que serão verificados após a próxima inicialização. A exibição não inclui drivers e opções adicionadas usando o parâmetro /volatile . Para conhecer outras maneiras de exibir essas configurações, consulte Exibindo configurações do Driver Verifier.

/query Exibe um resumo da atividade atual do Verificador de Driver. O campo Nível na exibição é o valor hexadecimal das opções definidas com o parâmetro /volatile. Consulte Monitorando Contadores Globais e Monitorando Contadores Individuais para obter explicações sobre cada estatística.

/domain Types **** Options Controla as configurações de extensão do verificador. Há suporte para os seguintes tipos de extensão do verificador.

Types Descrição

Wdm

Habilita a extensão do verificador para drivers WDM.

Ndis

Habilita a extensão do verificador para drivers de rede.

Ks

Habilita a extensão do verificador para drivers de streaming no modo kernel.

audio

Habilita a extensão do verificador para drivers de áudio.

As opções de extensão a seguir são suportadas.

Opções Descrição

regras.default

Habilita regras de validação padrão para a extensão do verificador selecionada.

regras.all

Habilita todas as regras de validação para a extensão do verificador selecionada.

/Log Habilita o registro em log de regras violadas detectadas pelas extensões do verificador selecionadas.

/livedump Habilita a coleta de despejo de memória ao vivo para regras violadas detectadas pelas extensões de verificador selecionadas.

/? Exibe a ajuda da linha de comando.

Para obter mais informações sobre o uso desses comandos, consulte Controlando o Verificador de Driver e Monitorando o Verificador de Driver.

/Ajuda Exibe a ajuda da linha de comando.

Para obter mais informações sobre o uso desses comandos, consulte Controlando o Verificador de Driver e Monitorando o Verificador de Driver.

Códigos de retorno

Os valores a seguir são retornados após a execução do verificador de driver.

0: EXIT_CODE_SUCCESS

1: EXIT_CODE_ERROR

2: EXIT_CODE_REBOOT_NEEDED