Regola ReqSendFail (kmdf)

La regola ReqSendFail specifica che un driver deve impostare lo stato di completamento corretto nei casi in cui il metodo WdfRequestSend potrebbe non riuscire.

WdfRequestSend può restituire FALSE se non riesce a inviare la richiesta, anche se il flag di WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET è impostato nelle opzioni di richiesta del driver. In tal caso, il driver deve completare la richiesta con uno stato di completamento appropriato chiamando WdfRequestComplete, WdfRequestCompleteWithInformation o WdfRequestCompleteWithPriorityBoost o chiamando WdfObjectDelete.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola ReqSendFail .

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 Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

WdfObjectDeleteWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestReuseWdfRequestSend