Share via


Regola SignalEventInCompletion2 (wdm)

La regola SignalEventInCompletion2 specifica che durante l'elaborazione di un IRP asincrono, il driver deve chiamare KeSetEvent nella routine di completamento quando viene impostato il flag Irp-PendingReturned>.

In questo caso, la routine di completamento non verrà chiamata.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola SignalEventInCompletion2 .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Si applica a

IoSetCompletionRoutineIoSetCompletionRoutineExKeInitializeEvent