Sintaxe de comando do verificador de driver
A sintaxe a seguir é usada ao executar o utilitário Verifier 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 Windows 11
Você pode usar o parâmetro /volatile com algumas opções de Verificador de Driver /flags . Para obter detalhes, consulte Usando configurações voláteis.
Observação
O parâmetro /volatile será preterido em uma versão futura do Windows. Em Windows 11 a opção de substituição é a opção /difDifEnabledRule/now. Consulte a seção Windows 11 classes de regra abaixo para obter as classes de regra 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 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 do 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 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 do 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 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 do Storport, Verificação 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 Command-Line do verificador
/Todos 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.
Modo /bootmodeControla se as configurações do Verificador de Driver estão habilitadas após uma reinicialização. Para definir ou alterar essa opção, você deve reinicializar o computador.
| Bootmode | Descrição |
|---|---|
Persistente |
Garante que as configurações do Verificador de Driver persistam (permaneçam em vigor) em muitas reinicializações. Essa é a configuração padrão. |
resetonbootfail |
Desabilita o Verificador de Driver para reinicializações subsequentes se o sistema não foi iniciado. |
oneboot |
Habilita apenas as configurações do Verificador de Driver para a próxima vez que o computador for iniciado. O Verificador de Driver está desabilitado para reinicializações subsequentes. |
resetonunusualshutdown |
(Introduzido no Windows 10, build 1709) O Verificador de Driver persistirá até que ocorra um desligamento incomum. Sua abreviação, 'rous', pode ser usada. |
/difDifEnabledRule Habilitar verificação usando uma regra habilitada para DIF. A verificação entrará em vigor na próxima vez que o sistema for reinicializado. Adicionado em Windows 11.
/difDifEnabledRule/now Habilite imediatamente a verificação usando uma regra habilitada para DIF. Habilita as classes de regra imediatamente sem a necessidade de reinicialização. Essa opção só será válida se nenhuma classe de regra já estiver em execução. Confira as descrições da classe de regra Windows 11 para as classes de regra capazes de ativação imediata.
/driverDriverList 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.excludeDriverList Especifica um ou mais drivers que serão excluídos da verificação. Esse parâmetro será aplicável somente se todos os drivers estiverem 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.
/Falhas 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.
| Subparâ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 falhará na alocação. O valor padrão, 600, significa 600/10000 ou 6%. |
Marcas de pool |
Limita as alocações que o Verificador de Driver pode falhar em 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 nas 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. |
DelayMins |
Especifica o número de minutos após a inicialização durante o qual o Verificador de Driver não falha intencionalmente em nenhuma alocação. Esse atraso permite que os drivers carreguem e o sistema se estabilize antes do início do teste. Digite um número (em 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 poucos recursos.
| OPTION | Descrição |
|---|---|
enableboottime |
Habilita injeções de falha em reinicializações do computador. |
disableboottime |
Desabilita injeções de falha em reinicializações do computador (essa é a configuração padrão). |
recordboottime |
Habilita injeções de falha no modo e se o computador reinicializa. |
resetboottime |
Desabilita injeções de falha em reinicializações do computador e limpa a lista de exclusão de pilha. |
enableruntime |
Habilita dinamicamente injeções de falha. |
disableruntime |
Desabilita dinamicamente as injeções de falha. |
recordruntime |
Habilita dinamicamente injeções de falha no modo e se . |
resetruntime |
Desabilita dinamicamente as injeções de falha e limpa a lista de pilhas com falha anterior. |
querystatistics |
Mostra as estatísticas atuais de injeção de falha. |
incrementcounter |
Incrementa o contador de aprovação de teste usado para identificar quando uma falha foi injetada. |
getstackid COUNTER |
Recupera o identificador de pilha injetado indicado. |
excludestack STACKID |
Exclui a pilha da injeção de falha. |
Opções /flags Ativa as opções especificadas após a próxima reinicialização. Esse número pode ser inserido em formato decimal ou hexadecimal (com um 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 Essa 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) |
||
2.048 |
0x800 (bit 11) |
X |
|
8192 |
0x2000 (bit 13) |
Verificação de MDL invariável para pilha (começando com Windows 8) |
|
16384 |
0x4000 (bit 14) |
Verificação invariável de MDL para Driver (começando com Windows 8) |
|
32768 |
0x8000 (bit 15) |
Power Framework Delay Fuzzing (começando com Windows 8) (preterido no Windows 10 Build 19042 e superior) |
|
65536 |
0x10000 (bit 16) |
Verificação de interface de porta/miniport (começando com Windows 10) |
|
131072 |
0x20000 (bit 17) |
X |
Verificação de conformidade de DDI (começando com Windows 8) |
262144 |
0x40000 (bit 18) |
Simulação sistemática de poucos recursos (começando com Windows 8.1) (preterida no Windows 10 Build 19042 e superior) |
|
524288 |
0x80000 (bit 19) |
Verificação de conformidade de DDI (adicional) (começando com Windows 8.1) (preterida no Windows 10 Build 19042 e superior) |
|
2097152 |
0x200000 (bit 21) |
Verificação NDIS/WIFI (começando com Windows 8.1) |
|
8388608 |
0x800000 (bit 23) |
Quebra de atraso de sincronização de kernel (começando com Windows 8.1) (preterido no Windows 10 Build 19042 e superior) |
|
16777216 |
0x1000000 (bit 24) |
Verificação do comutador de VM (começando com 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 do Storport. Para obter informações, consulte Verificação do Storport.
/flagsVolatileOptions 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 valores a seguir é permitida.
| Hexadecimal | Opção |
|---|---|
0x00000004 (bit 2) |
Simulação aleatória de poucos recursos |
0x00000020 (bit 5) |
Detecção de deadlock |
0x00000080 (bit 7) |
Verificação de DMA |
0x00000200 (bit 9) |
Forçar solicitações de E/S pendentes |
0x00000400 (bit 10) |
Log de IRP |
/ruleclasses ou /rc<ruleclass_1><ruleclass_2> ... <>ruleclass_k
O parâmetro ruleclasses está disponível a partir da versão 1803 do Windows.
O parâmetro ruleclasses abrange um conjunto maior de classes de verificação do que o parâmetro /flags acima. Embora /flags esteja 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 regra estão disponíveis.
Classes de regra padrão
| Valor | Regra |
|---|---|
| 1 | Pool especial |
| 2 | Forçar verificação de IRQL |
| 4 | Acompanhamento de pool |
| 5 | Verificação de E/S |
| 6 | Detecção de deadlock |
| 8 | Verificação de DMA |
| 9 | Verificações de segurança |
| 12 | Verificações diversas |
| 18 | Verificação de conformidade da DDI |
| 34 | Verificação do WDF |
| 37 | Verificação do Filtro do Sistema de Arquivos (5) |
Classes de regra adicionais
Essas classes de regra destinam-se a testes de cenário específicos. Classes de regra marcadas com (*) exigem Verificação de E/S (5) e habilitam-na automaticamente. Classes de regra marcadas com (**) suporte para desabilitação de regras individuais. As classes de regra marcadas com (***) estão no modo de registro em log por padrão e exigem /onecheck para falhar após a violação.
Sinalizadores marcados com (!) exigem que o modo DIF (classe de regra 36) seja habilitado.
| Valor | Regra |
|---|---|
| 3 | Simulação aleatória de poucos recursos |
| 10 | Forçar solicitações de E/S pendentes (*) |
| 11 | Log de IRP (*) |
| 14 | Verificação invariável de MDL para pilha (*) |
| 15 | Verificação invariável de MDL para driver (*) |
| 16 | Fuzzing de atraso do Power Framework |
| 17 | Verificação de interface de porta/miniport |
| 19 | Simulação sistemática de poucos recursos |
| 20 | Verificação de conformidade da DDI (adicional) |
| 22 | Verificação de NDIS/WIFI (**) |
| 24 | Fuzzing de atraso de sincronização de kernel |
| 25 | Verificação do comutador de VM |
| 26 | Verificações de integridade de código |
| 33 | Verificações de isolamento do driver (***, !) |
| 36 | Modo DIF |
Classes de regra Windows 11
Começando com Windows 11 as seguintes classes de regra padrão estão disponíveis. Essas classes de regra são 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 /difDifEnabledRule/now .
Classes de regra padrão
| Valor | Regra | /Nwo |
|---|---|---|
| 1 | Pool especial | sim |
| 2 | Forçar verificação de IRQL | sim |
| 4 | Acompanhamento de pool | sim |
| 5 | Verificação de E/S | sim |
| 6 | Detecção de deadlock | 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 da 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 seja habilitada. Consulte Verificação do Filtro do Sistema de Arquivos para obter mais informações sobre essa classe de regra.
Classes de regra adicionais
As classes de regra adicionais a seguir estão disponíveis.
- A coluna /now indica quais classes de regra podem ser habilitadas sem uma reinicialização usando a opção /difDifEnabledRule/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.
- Classes de regra marcadas com
(**)suporte para desabilitação de regras individuais. - As classes de regra marcadas com
(***)estão no modo de registro em log por padrão e exigem que a opção /onecheck falhe após a violação.
| Valor | Regra | /Nwo | Classes de regra 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 em log do IRP | não | 5 |
| 14 | Verificação invariável de MDL para pilha | não | 5 |
| 15 | Verificação invariável de MDL para driver | não | 5 |
| 16 | Fuzzing de atraso do Power Framework | não | nenhum |
| 17 | Verificação de interface de porta/miniport | não | nenhum |
| 19 | Simulação sistemática de poucos recursos | sim | 36 |
| 20 | Verificação de conformidade da DDI – adicional | sim | nenhum |
| 22 | Verificação de NDIS/WIFI (**) |
não | nenhum |
| 24 | Fuzzing de atraso de sincronização de kernel | não | nenhum |
| 25 | Verificação do comutador de 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 |
/logLogFileName [/interval|Seconds] Cria um arquivo de log com o nome LogFileName. O Verificador de Driver grava periodicamente estatísticas nesse arquivo. Para obter detalhes, consulte Criando arquivos de log.
Se um comando verifier /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 a tecla CTRL+C. Após uma reinicialização, para criar um log, você deve enviar o comando verifier /log novamente.
| Opção | Descrição |
|---|---|
| /interval Seconds | Especifica o intervalo entre atualizações de arquivo de log. O padrão é 30 segundos. |
/rulesOpções de opção para regras que podem ser desabilitadas (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. |
IDpadrão |
Define a ID da regra como seu estado padrão. Para as regras com suporte, a ID da regra é o valor do parâmetro 1 da 0xC4 de Verificação de Bugs (DRIVER_VERIFIER_DETECTED_VIOLATION). |
desabilitarID |
Desabilita a ID da regra especificada. Para as regras com suporte, a ID da regra é o valor do parâmetro 1 da 0xC4 de Verificação de Bugs (DRIVER_VERIFIER_DETECTED_VIOLATION). |
/Padrão Ativa as opções "padrão" ou verificador de driver padrão após a próxima inicialização. As opções padrão são Pool Especial, Forçar Verificação de IRQL, Acompanhamento de Pool, Verificação de E/S, Detecção de Deadlock, Verificação de DMA. e Verificação do WDF As opções padrão também incluem verificações de segurança, verificações diversas e verificação de conformidade de DDI.
Observação
A partir Windows 10 versões 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.
/Parar 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. As configurações voláteis entrarão 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 reinicialização, 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 reinicialização. Somente os seguintes sinalizadores podem ser usados com voláteis:
0x00000004 (bit 2) – simulação aleatória de poucos recursos 0x00000020 (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) – registro em log de IRP
Para obter detalhes, consulte Usando configurações voláteis.
| Opção | Descrição |
|---|---|
/adddriverVolatileDriverList |
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. |
/removedriverVolatileDriverList |
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. |
/Redefinir 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 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 obter outras maneiras de exibir essas configurações, consulte Exibindo configurações do verificador de driver.
/Consulta 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 de cada estatística.
/domainTypes **** Options Controla as configurações de extensão do verificador. Há suporte para os seguintes tipos de extensão de 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. |
Áudio |
Habilita a extensão do verificador para drivers de áudio. |
Há suporte para as opções de extensão a seguir.
| Opções | Descrição |
|---|---|
rules.default |
Habilita regras de validação padrão para a extensão de verificador selecionada. |
rules.all |
Habilita todas as regras de validação para a extensão do verificador selecionada. |
/Log Habilita o registro em log para regras violadas detectadas pelas extensões de verificador selecionadas.
/livedump Habilita a coleta de despejo de memória ao vivo para regras violadas detectadas pelas extensões do 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 o verificador de driver de monitoramento.
/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 o verificador de driver de monitoramento.
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
Comentários
Em breve: Ao longo de 2024, eliminaremos os problemas do GitHub como o mecanismo de comentários para conteúdo e o substituiremos por um novo sistema de comentários. Para obter mais informações, consulte https://aka.ms/ContentUserFeedback.
Enviar e exibir comentários de