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 |
|
2 |
0x2 (bit 1) |
X |
|
4 |
0x4 (bit 2) |
||
8 |
0x8 (bit 3) |
X |
|
16 |
0x10 (bit 4) |
X |
|
32 |
0x20 (bit 5) |
X |
|
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 |
|
256 |
0x100 (bit 8) |
X |
|
512 |
0x200 (bit 9) |
||
1024 |
0x400 (bit 10) |
||
2048 |
0x800 (bit 11) |
X |
|
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