Partager via

Vérification MDL invariante pour le pilote

  • Article

L’option Invariant MDL Checking for Driver surveille la façon dont le pilote gère les mémoires tampons MDL invariantes sur une base par pilote. Cette option détecte la modification illégale des tampons MDL invariants. Pour utiliser cette option, vous devez activer la vérification des E/S sur au moins un pilote.

Note Cette option est disponible à partir de Windows 8.

L’option Invariant MDL Checking for Driver effectue une forme plus intensive de la vérification MDL invariante que l’option Invariant MDL Checking for Stack . Lorsque la vérification MDL invariante pour le pilote est active, l’invariance de mémoire tampon est validée pour chaque appel aux routines IoCallDriver et IoCompleteRequest .

Chaque fois qu’une nouvelle mémoire tampon MDL invariante est affichée avec un IRP, driver Verifier calcule une signature pour le contenu de la mémoire tampon et la stocke dans sa base de données interne. Lorsque driver Verifier rencontre une mémoire tampon MDL invariante qu’il a vue précédemment, il vérifie que le contenu de la mémoire tampon n’a pas changé, en comparant la signature dans la base de données avec la signature calculée sur le contenu de la mémoire tampon MDL variable actuelle.

Cette option est globale et ne peut pas être appliquée de manière sélective certains pilotes.

Activation de cette option

Vous pouvez activer la fonctionnalité Vérification MDL invariante pour le pilote pour un ou plusieurs pilotes à l’aide du Gestionnaire du vérificateur de pilotes ou de la ligne de commande Verifier.exe. Pour plus d’informations, consultez Sélection des options du vérificateur de pilote. Vous devez redémarrer l’ordinateur pour activer ou désactiver l’option Invariant MDL Checking for Driver.

Pour activer l’option Vérification MDL invariante pour la pile , vous devez également activer la vérification des E/S.

  • Sur la ligne de commande

    Sur la ligne de commande, la vérification MDL invariante pour le pilote est représentée par le vérificateur /flags 0x00004000 (Bit 14). Pour activer la vérification MDL invariante pour le pilote, utilisez une valeur d’indicateur de 0x00004010 ou ajoutez 0x00004010 à la valeur d’indicateur. Cette valeur active la vérification des E/S (0x10) et la vérification MDL invariante pour le pilote (0x00004000). Par exemple :

    verifier /flags 0x00004010 /driver MyDriver.sys

    La fonctionnalité sera active après le prochain démarrage.

  • Utilisation du Gestionnaire de vérificateur de pilotes

    1. Démarrez le Gestionnaire de vérificateur de pilotes. Tapez Vérificateur dans une fenêtre d’invite de commandes.
    2. Sélectionnez Créer des paramètres personnalisés (pour les développeurs de code), puis cliquez sur Suivant.
    3. Sélectionnez Sélectionner des paramètres individuels dans une liste complète.
    4. Sélectionnez (case activée)Vérification des E/S et Vérification MDL invariante pour le pilote.
    5. Redémarrez l'ordinateur.