MemAfterReqCompletedRead-Regel (kmdf)
Die MemAfterReqCompletedRead-Regel gibt an, dass innerhalb der EvtIoRead-Rückruffunktion nach Abschluss der E/A-Anforderung nicht auf das Frameworkspeicherobjekt zugegriffen werden kann.
Innerhalb der EvtIoRead-Rückruffunktion des Treibers kann nicht auf das Frameworkspeicherobjekt zugegriffen werden, das durch Aufrufen der WdfRequestRetrieveOutputMemory-Methode abgerufen wurde, nachdem WdfRequestComplete, WdfRequestCompleteWithInformation oder WdfRequestCompleteWithPriorityBoost für die E/A-Anforderung aufgerufen wurde.
Diese Regel berücksichtigt die folgenden beiden Speicherzugriffsmethoden:
WdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory
Treibermodell: KMDF
So führen Sie einen Test durch
Beim Kompilieren: |
---|
Führen Sie Static Driver Verifier aus, und geben Sie die MemAfterReqCompletedRead-Regel an. Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden. |
Gilt für:
WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory