Partager via

Règle SignalEventInCompletion3 (wdm)

  • Article

La règle SignalEventInCompletion3 spécifie que lors du traitement d’un IRP asynchrone, le pilote doit appeler KeSetEvent dans la routine de complétion lorsque le indicateur Irp->PendingReturned est défini.

Dans ce cas, la routine de complétion ne sera pas appelée.

Driver model: WDM

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle SignalEventInCompletion.

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.

S’applique à

IoSetCompletionRoutineIoSetCompletionRoutineExKeInitializeEvent