Partager via


vérificateur

Driver Verifier analyse les pilotes en mode noyau Windows et les pilotes graphiques pour détecter les appels ou actions de fonction non autorisés susceptibles d’endommager le système. Driver Verifier peut soumettre les pilotes Windows à divers stress et tests pour trouver un comportement incorrect. Vous pouvez configurer les tests à exécuter, ce qui vous permet de faire subir à un pilote des charges de contraintes lourdes ou via des tests plus rationalisés. Vous pouvez également exécuter Driver Verifier sur plusieurs pilotes simultanément ou sur un pilote à la fois.

Important

Vous devez être dans le groupe Administrateurs sur l’ordinateur pour utiliser Driver Verifier. L’exécution de Driver Verifier peut provoquer le blocage de l’ordinateur. Vous devez donc exécuter cet utilitaire uniquement sur les ordinateurs utilisés pour le test et le débogage.

Syntaxe

verifier /standard /all
verifier /standard /driver NAME [NAME ...]
verifier /flags <options> /all
verifier /flags <options> /driver NAME [NAME ...]
verifier /rules [OPTION ...]
verifier /query
verifier /querysettings
verifier /bootmode [persistent | disableafterfail | 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

Paramètres

Paramètre Descriptif
/tout Indique à l’utilitaire Driver Verifier de vérifier tous les pilotes installés après le prochain démarrage.
/bootmode [persistent \| disableafterfail \| oneboot \| resetonunusualshutdown] Contrôle si les paramètres de l’utilitaire Driver Verifier sont activés après un redémarrage. Pour définir ou modifier cette option, vous devez redémarrer l’ordinateur. Les modes suivants sont disponibles :
  • persistant : garantit que les paramètres de Driver Verifier persistent (restent en vigueur) pendant de nombreux redémarrages. Il s'agit du paramètre par défaut.
  • disableafterfail : si Windows ne parvient pas à démarrer, ce paramètre désactive l’utilitaire Driver Verifier pour les redémarrages suivants.
  • oneboot : active uniquement les paramètres de Driver Verifier lors du prochain démarrage de l’ordinateur. L’utilitaire Driver Verifier est désactivé pour les redémarrages suivants.
  • resetonunusualshutdown : l’utilitaire Driver Verifier persiste jusqu’à ce qu’un arrêt inhabituel se produise. Son abréviation« rous » peut être utilisée.
/chauffeur <driverlist> Spécifie un ou plusieurs pilotes qui seront vérifiés. Le paramètre driverlist est une liste de pilotes par nom binaire, par exemple 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. Le paramètre driverlist est une liste de pilotes par nom binaire, par exemple 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.
/Défauts Active la fonctionnalité Simulation de faibles ressources dans l’utilitaire Driver Verifier. 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 la simulation de ressources faibles :
  • Probabilité : spécifie la probabilité que l’utilitaire Driver Verifier échoue une allocation donnée. Tapez un nombre (en décimal ou hexadécimal) pour représenter le nombre de chances sur 10 000 que l’utilitaire Driver Verifier échoue à l’allocation. La valeur par défaut, 600, signifie 600/10 000 ou 6 %.
  • Balises de pool : limite les allocations que l’utilitaire Driver Verifier peut échouer aux allocations 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 l’utilitaire Driver Verifier peut échouer aux allocations avec 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 lesquelles l’utilitaire Driver Verifier 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).
/défautssystématiques Spécifie les options pour la simulation de faibles ressources systématiques. Utilisez l’indicateur 0x40000 pour sélectionner l’option de simulation systématique des faibles ressources. Les options suivantes sont disponibles :
  • enableboottime : active les injections d’erreurs sur les redémarrages de l’ordinateur.
  • disableboottime : désactive les injections d’erreurs entre les redémarrages de l’ordinateur (il s’agit du paramètre par défaut).
  • recordboottime : active les injections d’erreurs en mode what if sur les redémarrages de l’ordinateur.
  • resetboottime : désactive les injections d’erreurs entre 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 what if.
  • resetruntime : désactive dynamiquement les injections d’erreurs et efface la liste de pile précédemment défaillante.
  • querystatistics : affiche les statistiques actuelles d’injection d’erreurs.
  • incrementcounter : 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’erreur.
/Drapeaux <options> Active les options spécifiées après le prochain redémarrage. 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 :
/Drapeaux <volatileoptions> Spécifie les options de l'utilitaire Driver Verifier qui sont modifiées immédiatement sans redémarrage.Ce nombre peut être saisi au format décimal ou hexadécimal (avec un préfixe 0x). Toute combinaison des valeurs suivantes est autorisée :
  • Valeur : 1 ou 0x1 (bit 0) : pool spécial
  • Valeur : 2 ou 0x2 (bit 1) : forcer la vérification IRQL
  • Valeur : 4 ou 0x4 (bit 2) : simulation de ressources faibles
<probability> Nombre compris entre 1 et 10 000 spécifiant la probabilité d’injection d’erreur. Par exemple, la spécification de 100 signifie une probabilité d’injection d’erreur de 1 % (100/10 000).

si ce paramètre n’est pas spécifié, la probabilité par défaut de 6 % est utilisée.

<tags> Spécifie les balises de pool qui seront injectées avec des erreurs, séparées par des caractères d’espace. Si ce paramètre n’est pas spécifié, toute allocation de pool peut être injectée avec des erreurs.
<apps> Spécifie le nom du fichier image des applications qui seront injectées avec des erreurs, séparées par des caractères d’espace. Si ce paramètre n’est pas spécifié, la simulation de faibles ressources peut avoir lieu dans n’importe quelle application.
<minutes> Nombre positif spécifiant la durée de la période après le redémarrage, en minutes, pendant laquelle aucune injection d’erreur ne se produira. Si ce paramètre n’est pas spécifié, la durée par défaut de 8 minutes est utilisée.
/ioniveau <level> Spécifie le niveau de vérification des E/S. La valeur de [level] peut être 1 - Active la vérification des E/S de niveau 1 (par défaut) ou 2 - Active la vérification des E/S de niveau 1 et la vérification des E/S de niveau 2. Si la vérification des E/S n’est pas activée (à l’aide de /flags 0x10), /iolevel est ignoré.
/rapport <logfilename> [/intervalseconds] Crée un fichier journal à l’aide du nom spécifié. L’utilitaire Driver Verifier écrit régulièrement des statistiques dans ce fichier, en fonction de l’intervalle que vous pouvez éventuellement définir. L'intervalle par défaut est de 30 secondes.

Si une commande /log du vérificateur est tapée sur la ligne de commande, l’invite de commandes n’est pas retournée. 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.

/règlement <option> Options pour les règles qui peuvent être désactivées, notamment :
  • 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’état par défaut de l’ID de règle. Pour les règles prises en charge, l’ID de règle est la valeur 1 du paramètre Vérification de bogues 0xC4 (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 Vérification de bogues 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION).
/standard Active les options « standard » ou vérificateur de pilote par défaut après le prochain redémarrage. Les options standard sont Pool spécial, Forcer la vérification IRQL, Suivi du pool, Vérification d’E/S, Détection de l’interblocage, Vérification DMA, Vérifications de sécurité, Vérifications des pilotes et vérification de la conformité DDI. Ceci équivaut à /flags 0x209BB.

[! REMARQUE] À compter de Windows 10 versions postérieures à 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.

/volatil 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émarrage, même si l’utilitaire Driver Verifier n’est pas en cours d’exécution. Pour plus d’informations, consultez Utilisation de paramètres volatiles.

/adddriver <volatiledriverlist> Ajoute 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.
/supprimérivière <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.
/réinitialisation Efface tous les paramètres de l’utilitaire Driver Verifier. Après le redé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 prochain démarrage. L’affichage n’inclut pas les pilotes ni les options ajoutés à 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.
/requête Affiche un résumé de l’activité actuelle de l’utilitaire Driver Verifier. Le champ Niveau dans l’affichage est la valeur hexadécimale des options définies avec le paramètre /volatile. Pour obtenir des explications sur chaque statistique, consultez Monitoring des compteurs globaux et Monitoring des compteurs individuels.
/domaine <types> <options> Contrôle les paramètres d’extension du vérificateur. Les types d’extension de vérificateur suivants sont pris en charge :
  • 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 diffusion en continu en mode noyau.
  • audio : active l’extension du vérificateur pour les pilotes audio.
. Les options d’extension suivantes sont prises en charge :
  • 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.
/vidage en direct Active la collection de vidage de 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 de la ligne de commande.

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

Notes