Partager via


Règle IrqlPsPassive (wdm)

La règle IrqlPsPassive spécifie que le pilote appelle les routines de structure de processus suivantes uniquement lorsqu’il s’exécute à IRQL = PASSIVE_LEVEL :

modèle de pilote : WDM

Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001C )

Comment tester

Au moment de la compilation

Exécutez le vérificateur de pilote statique et spécifiez la règle IrqlPsPassive .

Procédez comme suit pour exécuter une analyse de votre code :
  1. Préparer votre code (utilisez des déclarations de type de rôle).
  2. exécuter le vérificateur de pilote statique.
  3. Afficher et analyser les résultats.

Pour plus d’informations, consultez Using Static Driver Verifier to Find Defects in Drivers.

Au moment de l’exécution

Exécutez le vérificateur de pilote et sélectionnez l’option de vérification de conformité DDI .

S’applique à

PsCreateSystemThreadPsGetVersionPsSetCreateProcessNotifyRoutinePsSetCreateThreadNotifyRoutinePsSetLoadImageNotifyRoutinePsTerminateSystemThread