Syntaxe de commande de Driver Verifier

La syntaxe suivante est utilisée lors de l’exécution de l’utilitaire De vérification dans une fenêtre d’invite de commandes.

Vous pouvez taper plusieurs options sur la même ligne unique. Par exemple :

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

Syntaxe Windows 11

Vous pouvez utiliser le paramètre /volatile avec certaines options driver Verifier /flags . Pour plus d’informations, consultez Utilisation des paramètres volatiles.

Remarque

Le paramètre /volatile sera déprécié dans une version ultérieure de Windows. Dans Windows 11, l’option de remplacement est l’option /dif DifEnabledRule /now. Consultez la section Classes de règle Windows 11 ci-dessous pour les classes de règle qui peuvent être activées à l’aide de cette option.

  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

Syntaxe Windows 10

Vous pouvez utiliser le paramètre /volatile avec certaines options /flags du vérificateur de pilote et /standard. Vous ne pouvez pas utiliser /volatile avec les options /flags pour la vérification de conformité DDI, la vérification du retard power Framework ou la vérification Storport. Pour plus d’informations, consultez Utilisation des paramètres volatiles.

  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

Syntaxe Windows 8.1

Vous pouvez utiliser le paramètre /volatile avec certaines options /flags du vérificateur de pilote et /standard. Vous ne pouvez pas utiliser /volatile avec les options /flags pour la vérification de conformité DDI, la fuzzing différée Power Framework, la vérification Storport. Pour plus d’informations, consultez Utilisation des paramètres volatiles.

  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 /?

Syntaxe Windows 8, Windows 7

Vous pouvez utiliser le paramètre /volatile avec certaines options /flags du vérificateur de pilote et /standard. Vous ne pouvez pas utiliser /volatile avec les options /flags pour la vérification de conformité DDI, la fuzzing différée power Framework, la vérification Storport, la vérification SCSI ou / disk. Pour plus d’informations, consultez Utilisation des paramètres volatiles.

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 /?

Paramètres

Syntaxe de ligne de commande du vérificateur

/all Dirige le vérificateur de pilotes pour vérifier tous les pilotes installés après le démarrage suivant.

/bc <number_of_reboots> Définit le nombre de redémarrages pour lesquels la vérification doit être active.

Cette option définit automatiquement le mode de démarrage ResetOnUnusualShutdown.

Le mode /bootmode détermine si les paramètres du vérificateur de pilote sont activés après un redémarrage. Pour définir ou modifier cette option, vous devez redémarrer l’ordinateur.

Modèle de démarrage Description

persistant

Garantit que les paramètres du vérificateur de pilote persistent (restent en vigueur) sur de nombreux redémarrages. Il s’agit du paramètre par défaut.

resetonbootfail

Désactive le vérificateur de pilote pour les redémarrages suivants si le système n’a pas pu démarrer.

oneboot

Active uniquement les paramètres du vérificateur de pilotes pour la prochaine fois que l’ordinateur démarre. Le vérificateur de pilote est désactivé pour les redémarrages suivants.

resetonunusualshutdown

(Introduit dans Windows 10, build 1709) Le vérificateur de pilote persiste jusqu’à ce qu’un arrêt inhabituel se produise. Son abréviation, « rous », peut être utilisée.

/dif DifEnabledRule Activer la vérification à l’aide d’une règle activée par DIF. La vérification prend effet la prochaine fois que le système est redémarré. Ajouté dans Windows 11.

/dif DifEnabledRule /maintenant activez immédiatement la vérification à l’aide d’une règle DIF activée. Active immédiatement les classes de règle sans avoir à redémarrer. Cette option n’est valide que si aucune classe de règle n’est déjà en cours d’exécution. Consultez les descriptions des classes de règle Windows 11 pour les classes de règles capables d’être activées immédiatement.

/driverList Spécifie un ou plusieurs pilotes qui seront vérifiés. DriverList est une liste de pilotes par nom binaire, comme Driver.sys. Utilisez un espace pour séparer chaque nom de pilote. Les valeurs génériques, telles que n*.sys, ne sont pas prises en charge.

/driver.exclude DriverList Spécifie un ou plusieurs pilotes qui seront exclus de la vérification. Ce paramètre s’applique uniquement si tous les pilotes sont sélectionnés pour la vérification. DriverList est une liste de pilotes par nom binaire, comme Driver.sys. Utilisez un espace pour séparer chaque nom de pilote. Les valeurs génériques, telles que n*.sys, ne sont pas prises en charge.

/faults Active la fonctionnalité simulation de ressources faibles dans le vérificateur de pilotes. Vous pouvez utiliser /faults à la place de /flags 0x4. Toutefois, vous ne pouvez pas utiliser /flags 0x4 avec les sous-paramètres /faults .

Vous pouvez utiliser les sous-paramètres suivants du paramètre /faults pour configurer Low Resources Simulation.

Sous-paramètre Description

Probabilité

Spécifie la probabilité que le vérificateur de pilote échoue à une allocation donnée. Tapez un nombre (en décimal ou hexadécimal) pour représenter le nombre de chances dans 10 000 que le vérificateur de pilote échouera l’allocation. La valeur par défaut, 600, signifie 600/10 000 ou 6 %.

Balises de pool

Limite les allocations que le vérificateur de pilote peut ne pas allouer avec les balises de pool spécifiées. Vous pouvez utiliser un caractère générique (*) pour représenter plusieurs balises de pool. Pour répertorier plusieurs balises de pool, séparez les balises par des espaces. Par défaut, toutes les allocations peuvent échouer.

Applications

Limite les allocations que le vérificateur de pilotes peut ne pas allouer pour le programme spécifié. Tapez le nom d’un fichier exécutable. Pour répertorier les programmes, séparez les noms des programmes par des espaces. Par défaut, toutes les allocations peuvent échouer.

DelayMins

Spécifie le nombre de minutes après le démarrage pendant lequel le vérificateur de pilotes n’échoue intentionnellement aucune allocation. Ce délai permet aux pilotes de charger et au système de se stabiliser avant le début du test. Tapez un nombre (en décimal ou hexadécimal). La valeur par défaut est 7 (minutes).

/faultssystematic Spécifie les options de simulation de faible ressources systématiques. Utilisez l’indicateur 0x40000 pour sélectionner l’option de simulation de ressources faibles systématiques.

OPTION Description

enableboottime

Active les injections d’erreurs sur les redémarrages de l’ordinateur.

disableboottime

Désactive les injections d’erreurs sur les redémarrages de l’ordinateur (il s’agit du paramètre par défaut).

recordboottime

Active les injections d’erreurs en mode si le mode sur l’ordinateur redémarre.

resetboottime

Désactive les injections d’erreurs sur les redémarrages de l’ordinateur et efface la liste d’exclusions de pile.

enableruntime

Active dynamiquement les injections d’erreurs.

disableruntime

Désactive dynamiquement les injections d’erreurs.

recordruntime

Active dynamiquement les injections d’erreurs en mode if .

resetruntime

Désactive dynamiquement les injections d’erreurs et efface la liste des piles précédemment défectueuses.

querystatistics

Affiche les statistiques actuelles d’injection d’erreurs.

incrémentcounter

Incrémente le compteur de passe de test utilisé pour identifier quand une erreur a été injectée.

getstackid COUNTER

Récupère l’identificateur de pile injecté indiqué.

excludestack STACKID

Exclut la pile de l’injection d’erreurs.

/flags Options Active les options spécifiées après le redémarrage suivant. Ce nombre peut être entré au format décimal ou hexadécimal (avec un préfixe 0x ). Toute combinaison des valeurs suivantes est autorisée.

Décimal Valeur hexadécimale Paramètre standard Option

1

0x1 (bit 0)

X

Pool spécial

2

0x2 (bit 1)

X

Forcer la vérification IRQL

4

0x4 (bit 2)

Simulation de ressources faibles

8

0x8 (bit 3)

X

Suivi du pool

16

0x10 (bit 4)

X

Vérification des E/S

32

0x20 (bit 5)

X

Détection d’interblocage

64

0x40 (bit 6)

Vérification améliorée des E/S Cette option est automatiquement activée lorsque vous sélectionnez Vérification des E/S

128

0x80 (bit 7)

X

Vérification DMA

256

0x100 (bit 8)

X

Vérifications de sécurité

512

0x200 (bit 9)

Forcer les demandes d’E/S en attente

1 024

0x400 (bit 10)

Journalisation IRP

2 048

0x800 (bit 11)

X

Vérifications diverses

8 192

0x2000 (bit 13)

Vérification MDL invariante pour la pile (à compter de Windows 8)

16384

0x4000 (bit 14)

Vérification MDL invariante pour le pilote (à compter de Windows 8)

32 768

0x8000 (bit 15)

Fuzzing différé power Framework (à compter de Windows 8) (déconseillé dans Windows 10 Build 19042 et versions ultérieures)

65536

0x10000 (bit 16)

Vérification de l’interface port/miniport (à partir de Windows 10)

131 072

0x20000 (bit 17)

X

Vérification de conformité DDI (à partir de Windows 8)

262144

0x40000 (bit 18)

Simulation systématique des ressources faibles (à partir de Windows 8.1) (déconseillée dans Windows 10 Build 19042 et versions ultérieures)

524288

0x80000 (bit 19)

Vérification de conformité DDI (supplémentaire) (à compter de Windows 8.1) (déconseillée dans Windows 10 Build 19042 et versions ultérieures)

2097152

0x200000 (bit 21)

Vérification NDIS/WIFI (à partir de Windows 8.1)

8388608

0x800000 (bit 23)

Délai de synchronisation du noyau flou (à partir de Windows 8.1) (déconseillé dans Windows 10 Build 19042 et versions ultérieures)

16777216

0x1000000 (bit 24)

Vérification du commutateur de machine virtuelle (à partir de Windows 8.1)

33554432

0x2000000 (bit 25)

Vérifications d’intégrité du code (à partir de Windows 10)

Vous ne pouvez pas utiliser cette méthode pour activer les options de vérification Storport. Pour plus d’informations, consultez La vérification Storport.

/flags VolatileOptions Spécifie les options du vérificateur de pilotes qui sont modifiées immédiatement sans redémarrer.

Vous pouvez utiliser le paramètre /volatile avec toutes les valeurs /flags .)

Entrez un nombre au format décimal ou hexadécimal (avec un préfixe 0x ).

Toute combinaison des valeurs suivantes est autorisée.

Valeur hexadécimale Option

0x00000004 (bit 2)

Simulation aléatoire des ressources faibles

0x00000020 (bit 5)

Détection d’interblocage

0x00000080 (bit 7)

Vérification DMA

0x00000200 (bit 9)

Forcer les demandes d’E/S en attente

0x00000400 (bit 10)

Journal IRP

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

Le paramètre ruleclasses est disponible à partir de Windows Version 1803.

Le paramètre ruleclasses englobe un plus grand ensemble de classes de vérification que le paramètre /flags ci-dessus. Bien que /flags soit limité à une expression bitmap 32 bits, cette option peut inclure plus de 32 classes de vérification. Chaque entier décimal positif représente une classe de vérification. Plusieurs classes peuvent être exprimées en séparant chaque ID de classe avec un caractère d’espace. Les ID de classes de règle suivants sont disponibles.

Classes de règles standard

Valeur Règle
1 Pool spécial
2 Forcer la vérification IRQL
4 Suivi du pool
5 Vérification des E/S
6 Détection d’interblocage
8 Vérification DMA
9 Vérifications de sécurité
12 Vérifications diverses
18 Vérification de la conformité DDI
34 Vérification WDF
37 Vérification du filtre du système de fichiers (5)

Classes de règles supplémentaires

Ces classes de règles sont destinées à des tests de scénario spécifiques. Les classes de règle marquées avec (*) la vérification des E/S requises (5) et l’activent automatiquement. Classes de règles marquées avec (**) prise en charge de la désactivation des règles individuelles. Les classes de règle marquées avec (***) sont en mode de journalisation par défaut et nécessitent /onecheck pour se bloquer en cas de violation.

Indicateurs marqués avec (!) le mode DIF requis (classe de règle 36) à activer.

Valeur Règle
3 Simulation de faible ressources aléatoires
10 Forcer les demandes d’E/S en attente (*)
11 Journalisation IRP (*)
14 Vérification MDL invariante pour la pile (*)
15 Vérification MDL invariante pour le pilote (*)
16 Délai d’attente du framework d’alimentation
17 Vérification de l’interface port/miniport
19 Simulation systématique de ressources faibles
20 Vérification de conformité DDI (supplémentaire)
22 Vérification NDIS/WIFI (**)
24 Fuzzing du délai de synchronisation du noyau
25 Vérification du commutateur de machine virtuelle
26 Vérifications d’intégrité du code
33 Vérifications d’isolation des pilotes (***, !)
36 Mode DIF

Classes de règle Windows 11

À compter de Windows 11, les classes de règle standard suivantes sont disponibles. Ces classes de règle sont toutes activées lors de l’utilisation de l’option /standard .

La colonne /now indique les classes de règle qui peuvent être activées sans redémarrage à l’aide de l’option /dif DifEnabledRule /now.

Classes de règles standard

Valeur Règle /Maintenant
1 Pool spécial Oui
2 Forcer la vérification IRQL Oui
4 Suivi du pool Oui
5 Vérification des E/S Oui
6 Détection d’interblocage non
8 Vérification DMA non
9 Vérifications de sécurité Oui
12 Vérifications diverses Oui
18 Vérification de la conformité DDI Oui
34 Vérification WDF non
37 Vérification du filtre du système de fichiers non

Notez que la classe de règle 37 (vérification du filtre du système de fichiers) nécessite que la classe de règle 5 (vérification d’E/S) soit également activée. Pour plus d’informations sur cette classe de règle, consultez la vérification du filtre du système de fichiers.

Classes de règles supplémentaires

Les classes de règle supplémentaires suivantes sont disponibles.

  • La colonne /now indique les classes de règle qui peuvent être activées sans redémarrage à l’aide de l’option /dif DifEnabledRule /now.
  • Les classes de règle requises indiquent les classes de règle qui doivent également être activées pour utiliser la classe de règle donnée. Notez que la commande /dif inclut automatiquement la classe de règle 36 (mode DIF), mais /ruleclasses et /rc ne le font pas.
  • Classes de règles marquées avec (**) prise en charge de la désactivation des règles individuelles.
  • Les classes de règle marquées avec (***) sont en mode de journalisation par défaut et nécessitent l’option /onecheck pour se bloquer en cas de violation.
Valeur Règle /Maintenant Classes de règle requises
3 Simulation de faible ressources aléatoires non Aucune
10 Forcer les demandes d’E/S en attente non 5
11 Journalisation IRP non 5
14 Vérification MDL invariante pour la pile non 5
15 Vérification MDL invariante pour le pilote non 5
16 Délai d’attente du framework d’alimentation non Aucune
17 Vérification de l’interface port/miniport non Aucune
19 Simulation systématique de ressources faibles Oui 36
20 Vérification de conformité DDI - supplémentaire Oui Aucune
22 Vérification NDIS/WIFI (**) non Aucune
24 Fuzzing du délai de synchronisation du noyau non Aucune
25 Vérification du commutateur de machine virtuelle non Aucune
26 Vérifications d’intégrité du code non Aucune
33 Vérifications d’isolation des pilotes (***) non 36
36 Mode DIF Oui Aucune

/log LogFileName [/interval|Seconds] Crée un fichier journal portant le nom LogFileName. Le vérificateur de pilotes écrit régulièrement des statistiques dans ce fichier. Pour plus d’informations, consultez Création de fichiers journaux.

Si une commande de vérificateur /log est tapée sur la ligne de commande, l’invite de commandes ne retourne pas. Pour fermer le fichier journal et renvoyer une invite, utilisez la touche CTRL+C. Après un redémarrage, pour créer un journal, vous devez soumettre à nouveau la commande /log du vérificateur.

Option Description
/interval Seconds Spécifie l’intervalle entre les mises à jour des fichiers journaux. La valeur par défaut est 30 secondes.

Options /rules pour les règles qui peuvent être désactivées (avancées).

Option Description

query

Affiche l’état actuel des règles contrôlables.

reset

réinitialise toutes les règles à leur état par défaut.

ID par défaut

Définit l’ID de règle à son état par défaut. Pour les règles prises en charge, l’ID de règle est la valeur 1 du paramètre 0xC4 de vérification des bogues (DRIVER_VERIFIER_DETECTED_VIOLATION).

désactiver l’ID

Désactive l’ID de règle spécifié. Pour les règles prises en charge, l’ID de règle est la valeur 1 du paramètre 0xC4 de vérification des bogues (DRIVER_VERIFIER_DETECTED_VIOLATION).

/standard Active les options « standard » ou de vérificateur de pilote par défaut après le démarrage suivant. Les options standard sont un pool spécial, Force IRQL Checking, Pool Tracking, I/O Verification, Deadlock Detection, DMA Verification. et vérification WDF Les options standard incluent également les vérifications de sécurité, les vérifications diverses et les vérifications de conformité DDI.

Remarque

À compter des versions de Windows 10 après 1803, l’utilisation de /flags 0x209BB n’active plus automatiquement la vérification WDF. Utilisez la syntaxe /standard pour activer les options standard, avec la vérification WDF incluse.

/stop Désactive les classes de règle activées via ' /dif /now' pour arrêter la vérification.

/volatile /flags Modifie les paramètres sans redémarrer l’ordinateur. Les paramètres volatiles prennent effet immédiatement. Vous pouvez utiliser le paramètre /volatile avec le paramètre /flags pour activer et désactiver certaines options sans redémarrer. Vous pouvez également utiliser /volatile avec les paramètres /adddriver et /removedriver pour démarrer ou arrêter la vérification d’un pilote sans redémarrer, même si le vérificateur de pilotes n’est pas déjà en cours d’exécution.

Spécifie les options du vérificateur de pilotes qui sont modifiées immédiatement sans redémarrer. Seuls les indicateurs suivants peuvent être utilisés avec volatile :

0x00000004 (bit 2) - Simulation de ressources faibles aléatoires 0x00000020 (bit 5) - Détection de blocage 0x00000080 (bit 7) - Vérification DMA 0x00000200 (bit 9) - Forcer les requêtes d’E/S en attente 0x00000400 (bit 10) - Journalisation IRP

Pour plus d’informations, consultez Utilisation des paramètres volatiles.

Option Description

/adddriver VolatileDriverList

Ajoute les pilotes spécifiés aux paramètres volatiles. Pour spécifier plusieurs pilotes, répertoriez leurs noms, séparés par des espaces. Les valeurs génériques, telles que n.sys, ne sont pas prises en charge. Pour plus d’informations, consultez Utilisation des paramètres volatiles .

/removedriver VolatileDriverList

Supprime les pilotes spécifiés à partir des paramètres volatiles. Pour spécifier plusieurs pilotes, répertoriez leurs noms, séparés par des espaces. Les valeurs génériques, telles que n.sys, ne sont pas prises en charge. Pour plus d’informations, consultez Utilisation des paramètres volatiles .

/reset efface tous les paramètres du vérificateur de pilote. Après le démarrage suivant, aucun pilote n’est vérifié.

/querysettings Affiche un résumé des options qui seront activées et des pilotes qui seront vérifiés après le démarrage suivant. L’affichage n’inclut pas les pilotes et les options ajoutées à l’aide du paramètre /volatile . Pour obtenir d’autres façons d’afficher ces paramètres, consultez Affichage des paramètres de Driver Verifier.

/query Affiche un résumé de l’activité actuelle du vérificateur de pilotes. Le champ Niveau dans l’affichage est la valeur hexadécimale des options définies avec le paramètre /volatile. Consultez Surveillance des compteurs globaux et surveillance des compteurs individuels pour obtenir des explications sur chaque statistique.

/domain Types **** Options Contrôle les paramètres d’extension du vérificateur. Les types d’extension de vérificateur suivants sont pris en charge.

Types Description

Wdm

Active l’extension du vérificateur pour les pilotes WDM.

Ndis

Active l’extension du vérificateur pour les pilotes réseau.

Ks

Active l’extension du vérificateur pour les pilotes de streaming en mode noyau.

audio

Active l’extension du vérificateur pour les pilotes audio.

Les options d’extension suivantes sont prises en charge.

Options Description

rules.default

Active les règles de validation par défaut pour l’extension de vérificateur sélectionnée.

rules.all

Active toutes les règles de validation pour l’extension de vérificateur sélectionnée.

/exploitation forestière Active la journalisation pour les règles non respectées détectées par les extensions de vérificateur sélectionnées.

/livedump Active la collecte de vidage en mémoire dynamique pour les règles non respectées détectées par les extensions de vérificateur sélectionnées.

/ ? Affiche l’aide en ligne de commande.

Pour plus d’informations sur l’utilisation de ces commandes, consultez Contrôle du vérificateur de pilotes et du vérificateur de pilote de surveillance.

/Aide Affiche l’aide en ligne de commande.

Pour plus d’informations sur l’utilisation de ces commandes, consultez Contrôle du vérificateur de pilotes et du vérificateur de pilote de surveillance.

Codes de retour

Les valeurs suivantes sont retournées après l’exécution du vérificateur de pilote.

0 : EXIT_CODE_SUCCESS

1 : EXIT_CODE_ERROR

2 : EXIT_CODE_REBOOT_NEEDED