Vérification MDL invariante pour le pilote

L'option de vérification des MDL invariants pour le pilote surveille la façon dont le pilote gère les mémoires tampons MDL invariantes pour chaque pilote. Cette option détecte la modification illégale des mémoires tampons MDL invariantes. 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 vérification MDL invariante plus intensive que celle de 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 sur chaque appel aux routines IoCallDriver et IoCompleteRequest .

Chaque fois qu’une nouvelle mémoire tampon MDL invariante est visible avec un IRP, le vérificateur de pilotes calcule une signature pour le contenu de la mémoire tampon et le stocke dans sa base de données interne. Lorsque le vérificateur de pilotes 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 à la signature calculée sur le contenu actuel de la mémoire tampon MDL invariante.

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

Activation de cette option

Vous pouvez activer la fonctionnalité de vérification invariante MDL pour un ou plusieurs pilotes à l’aide du Gestionnaire de vérification de pilotes ou de la commande en ligne 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 De 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 de l’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 démarrage suivant.

• Utilisation du Gestionnaire du Vérificateur de Pilotes

  1. Démarrez le Gestionnaire du Vérificateur de pilotes. Tapez Verifier dans une fenêtre de l'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 (vérifier)Vérification d’E/S et Vérification MDL invariante pour le pilote.
  5. Redémarrez l'ordinateur.