Condividi tramite

Regola CompleteRequestStatusCheck (wdm)

  • Articolo

La regola CompleteRequestStatusCheck verifica che il valore di stato di I/O in IRP corrisponda al valore di stato restituito dal driver inferiore.

La routine di invio del driver non deve completare l'IRP se lo stato di IRP è STATUS_PENDING.

La routine di invio del driver non deve completare l'IRP con STATUS_SUCCESS se il driver inferiore non riesce l'IRP.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola CompleteRequestStatusCheck .

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

IoAcquireRemoveLockIoCallDriverIoCompleteRequestIoMarkIrpPendingIoSetCompletionRoutineIoSetCompletionRoutineExKeWaitForSingleObjectPoCallDriver