Règle LowerDriverReturn (wdm)

La règle LowerDriverReturn spécifie qu’après avoir utilisé PoCallDriver ou IoCallDriver pour appeler un pilote inférieur, le pilote enregistre le retour status de l’appel et transmet le retour status qu’il a reçu à la routine de répartition.

Ces conditions ne sont pas appliquées si le pilote appelle IoCompleteRequest ou IoMarkIrpPending.

Modèle de pilote : WDM

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle LowerDriverReturn . Utilisez les étapes suivantes pour exécuter l’analyse de votre code : Préparez votre code (utilisez les déclarations de type). Exécutez le vérificateur de pilote statique. Affichez et analysez les résultats. Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

IoCallDriverIoMarkIrpPendingIoSetCompletionRoutineIoSetCompletionRoutineExIoSetDeviceInterfaceStateIoWMIRegistrationControlKeWaitForSingleObjectPoCallDriver