Freigeben über


ReqDelete-Regel (kmdf)

Die ReqDelete-Regel gibt an, dass vom Treiber erstellte Anforderungen nicht an WdfRequestCompleteXxx-Funktionen übergeben werden. Stattdessen sollte die Anforderung nach Abschluss gelöscht werden.

Wenn der Treiber in einem Aufruf von WdfRequestCreate ein Frameworkanforderungsobjekt erstellt, sollte die Anforderung mithilfe von WdfObjectDelete gelöscht werden, wenn der Treiber mit der Anforderung fertig ist.

Der Treiber kann die Funktionen WdfRequestComplete, WdfRequestCompleteWithInformation oder WdfRequestCompleteWithPriorityBoost für das Anforderungsobjekt nicht aufrufen. Die WdfRequestCompleteXxx-Funktionen sind für vom Framework bereitgestellte Anforderungen reserviert.

Treibermodell: KMDF

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die Regel ReqDelete an .

Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
  1. Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen).
  2. Führen Sie Static Driver Verifier aus.
  3. Überprüfen und analysieren Sie die Ergebnisse.

Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden.

Gilt für:

WdfObjectDeleteWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestCreate