Partager via


Propriétés de vérification 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 Kernel-Mode Cadre de gestion des pilotes.

Pour plus d'informations sur le vérificateur de framework, consultez Utiliser le vérificateur du framework et Application de contrôle du vérificateur WDF.

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 enfoncé (ou cliquez avec le bouton droit) le projet de package de pilotes dans l’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, installez le pilote, puis sélectionnez Vérificateur KMDF.
  3. Sélectionnez l’option Activer le vérificateur KMDF et sélectionnez le vérificateur KMDF toujours activé. Lorsque cette option est sélectionnée, vous pouvez configurer les options de vérification du framework pour les pilotes KMDF.
Choix Descriptif

Activer le vérificateur KMDF

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

Noms de service KMDF

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

Vérifications IRQL

Active les vérifications IRQL et les vérifications de fuite de mémoire critique.

Vérifications de compatibilité future

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

Test du Gestionnaire de Progrès vers l'Avant

Spécifie les options de test de la gestion de progression vers l’avant de votre pilote.

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

Échec de toutes les allocations Toutes les demandes d'E/S destinées à une file d'attente de progression anticipée échoueront visiblement, s'appuyant sur la gestion de la progression anticipée de votre pilote.

Échec aléatoire des allocations Échec aléatoire des requêtes d’E/S destinées à une file d’attente de progression.

Suivre les descripteurs d’objet KMDF

Spécifie la liste des types de handles 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 du noyau pour ces systèmes.

Journalisation détaillée

Active la journalisation détaillée.

Pages mémoire pour les logs

Spécifie le nombre de pages de pool non paginées (1 à 10) à allouer pour les journaux de suivi des événements du noyau. Les options sont Le choix du runtime ou [1-10]. Si choix du Runtime, le nombre de pages dépend du Runtime KMDF. À compter de KMDF 1.9, le runtime utilise plus 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 ne commence à échouer à toutes les allocations de mémoire.