Regola ReqDelete (kmdf)
La regola ReqDelete specifica che le richieste create dal driver non vengono passate alle funzioni WdfRequestCompleteXxx . Al termine, invece, la richiesta deve essere eliminata.
Se il driver crea un oggetto richiesta framework in una chiamata a WdfRequestCreate, la richiesta deve essere eliminata usando WdfObjectDelete al termine della richiesta.
Il driver non può chiamare le funzioni WdfRequestComplete, WdfRequestCompleteWithInformation o WdfRequestCompleteWithPriorityBoost nell'oggetto request. Le funzioni WdfRequestCompleteXxx sono riservate alle richieste fornite dal framework.
Modello di driver: KMDF
Come eseguire il test
In fase di compilazione |
---|
Eseguire Static Driver Verifier e specificare la regola ReqDelete . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
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
WdfObjectDeleteWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestCreate