Regola CompleteCanceledReq (kmdf)

  • Articolo

La regola CompleteCanceledReq specifica che se la richiesta è già stata annullata, la richiesta non è più valida e il driver non deve completarlo. Mentre il driver annulla una richiesta contrassegnata in precedenza annullabile, deve verificare che la richiesta non sia già stata annullata. Se il driver non effettua questo controllo, il driver potrebbe completare una richiesta liberata.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola CompleteCanceledReq .

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

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestUnmarkCancelable