Partager via


Propriétés du vérificateur KMDF pour les projets de package de pilotes

Définit les propriétés du vérificateur KMDF (ou du vérificateur d’infrastructure) sur un ordinateur distant. Vous pouvez utiliser ces paramètres lorsque vous générez et déployez un pilote KMDF sur un ordinateur de test. Pour plus d’informations sur les pilotes KMDF, consultez Infrastructure du pilote en mode noyau.

Pour plus d’informations sur le vérificateur d’infrastructure, consultez Utilisation de l’application de contrôle du vérificateur et du vérificateur WDF du framework.

Définition des propriétés du vérificateur KMDF pour les projets de package de pilotes

  1. Ouvrez les pages de propriétés de votre package de pilotes. Sélectionnez et maintenez le bouton droit (ou cliquez avec le bouton droit) sur le projet de package de pilote dans Explorateur de solutions, puis sélectionnez Propriétés.
  2. Dans les pages de propriétés du package de pilotes, sélectionnez Propriétés de configuration, Installation du pilote, puis Vérificateur KMDF.
  3. Sélectionnez l’option Activer le vérificateur KMDF , puis sélectionnez Le vérificateur KMDF est toujours activé. Lorsque cette option est sélectionnée, vous pouvez configurer les options de vérification du framework pour les pilotes KMDF.
Option Description

Activer le vérificateur KMDF

Active le vérificateur KMDF sur l’ordinateur de test. Le vérificateur KMDF est toujours activé ou le vérificateur KMDF est désactivé. Si le vérificateur KMDF n’est pas activé, la vérification du framework de base est activée dans le cadre du vérificateur de pilotes si la version de KMDF est 1.9 ou ultérieure.

Noms du service KMDF

Spécifie les noms de service des pilotes KMDF à surveiller.

Vérifications IRQL

Active les vérifications IRQL et les vérifications des fuites de mémoire critiques.

Vérifications compatibles avec transfert

Active les vérifications créées après la version actuelle du pilote.

Test du gestionnaire de progression avancée

Spécifie les options de test de la gestion de la progression de votre pilote.

Aucun échec d’allocation Aucune erreur ne sera simulée pour tester la gestion de la progression avant de votre pilote.

Échec de toutes les allocations Toutes les demandes d’E/S destinées à une file d’attente de progression avant semblent échouer, en fonction de la gestion de la progression avant de votre pilote.

Allocations d’échecs aléatoires Échec aléatoire des demandes d’E/S destinées à une file d’attente de progression.

Suivre les handles d’objet KMDF

Spécifie la liste des types de handle d’objet à suivre.

Activer les messages du chargeur KMDF

Active les messages du chargeur KMDF via le débogueur. Un redémarrage de l’ordinateur cible est nécessaire pour l’activer.

À compter de Windows Vista, le système d’exploitation supprime la sortie DbgPrint par défaut, ce qui rend les messages de diagnostic du chargeur WDF inutilisables tant que la suppression n’est pas remplacée. Le vérificateur KMDF peut gérer cela pour vous afin que les diagnostics du chargeur KMDF soient disponibles dans le débogueur de noyau pour ces systèmes.

Journalisation détaillée

Active la journalisation détaillée.

Pages mémoire pour les journaux

Spécifie le nombre de pages de pool non paginées (1-10) à allouer pour les journaux de trace des événements du noyau. Les options sont Choix d’exécution ou [1-10]. Si le choix d’exécution est choisi, le nombre de pages dépend du runtime KMDF. À compter de KMDF 1.9, le runtime utilise davantage de pages lorsque la vérification est activée avec la journalisation détaillée.

Échec des allocations de mémoire

Spécifie le nombre d’allocations de mémoire réussies autorisées avant que le vérificateur KMDF commence à échouer toutes les allocations de mémoire.