Partager via

Règle IrqlRtlPassive (wdm)

  • Article

La règle IrqlRtlPassive spécifie que le pilote appelle RtlDeleteRegistryValue uniquement lorsqu’il s’exécute à IRQL égal à 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 (0x0002001E )

Comment tester

Au moment de la compilation

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

Utilisez la procédure suivante pour exécuter une analyse de votre code :
  1. Préparez votre code (utilisez des déclarations de type de rôle).
  2. Exécutez Static Driver Verifier.
  3. Visualisez et analysez les résultats.

Pour plus d’informations, consultez Utilisation de Static Driver Verifier pour rechercher des défauts dans les pilotes.
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 à

RtlDeleteRegistryValue