MemAfterReqCompletedIntIoctl-Regel (kmdf)

  • Artikel

Die Regel MemAfterReqCompletedIntIoctl legt fest, dass innerhalb der Rückruf-Funktion EvtIoInternalDeviceControl nicht auf das Framework-Speicherobjekt zugegriffen werden kann, nachdem die E/A-Anforderung abgeschlossen ist.

Innerhalb der Rückruf-Funktion des Treibers EvtIoInternalDeviceControl kann auf das Framework-Speicherobjekt, das durch den Aufruf der Methoden WdfRequestRetrieveInputMemory oder WdfRequestRetrieveOutputMemory abgerufen wurde, nach dem Aufruf von WdfRequestComplete nicht mehr zugegriffen werden, WdfRequestCompleteWithInformation oder WdfRequestCompleteWithPriorityBoost auf die E/A-Anfrage zugreifen.

Diese Regel berücksichtigt die folgenden zwei Speicherzugriffsmethoden:

WdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory

Treiber-Modell: KMDF

So führen Sie einen Test durch

Zur Kompilierzeit

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

Führen Sie die folgenden Schritte aus, um eine Analyse Ihres Codes durchzuführen:
  1. Bereiten Sie Ihren Code vor (verwenden Sie Rollentypendeklarationen).
  2. Static Driver Verifier ausführen.
  3. Anzeigen und Analysieren der Ergebnisse.

Weitere Informationen finden Sie unter Static Driver Verifier zum Auffinden von Defekten in Treibern verwenden.

Gilt für:

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory