RequestCompletedLocal-Regel (kmdf)

Die RequestCompletedLocal-Regel gibt an, dass es ein Problem mit der Anforderungsvervollständigung im Code des Treibers geben kann, wenn eine E/A-Anforderung in keiner der Rückruffunktionen EvtIoDefault, EvtIoDeviceControl,EvtIoDeviceControl und WdfRequestMarkCancelable nicht für die Anforderung innerhalb der Rückruffunktion aufgerufen wurde.

Diese Regel ist nur für die Treiber vorgesehen, für die die RequestCompleted-Regel nicht gilt.

Treibermodell: KMDF

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die RequestCompletedLocal-Regel an. Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren: Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen). Führen Sie Static Driver Verifier aus. Ü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:

WdfDeviceEnqueueRequestWdfDmaTransactionInitializeWdfDmaTransactionInitializeUsingRequestWdfIoTargetSendInternalIoctlOthersSynchronlyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestForwardToIoQueueWdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestStopAcknowledgeWdfWorkItemEnqueue