MemAfterReqCompletedIoctlA 规则 (kmdf)

MemAfterReqCompletedIoctlA规则指定在EvtIoDeviceControl回调函数中,在 i/o 请求完成后,不能访问 framework 内存对象。

在驱动程序的EvtIoDeviceControl回调函数中,调用WdfRequestRetrieveInputMemory 或 WdfRequestRetrieveOutputMemory 方法时,无法访问通过调用方法检索的 framework 内存对象

此规则考虑以下内存访问方法:

WdfMemoryGetBufferWDF_MEMORY_DESCRIPTOR_INIT_HANDLEWdfMemoryAssignBufferWdfMemoryCopyToBufferWdfMemoryCopyFromBufferWdfObjectReferenceWdfObjectDereferenceWdfObjectDelete

驱动程序模型: KMDF

如何测试

在编译时

运行 静态驱动程序验证程序 并指定 MemAfterReqCompletedIoctlA 规则。

使用以下步骤来运行代码分析:
  1. 准备你的代码 (使用) 的角色类型声明。
  2. 运行静态驱动程序验证程序。
  3. 查看并分析结果。

有关详细信息,请参阅 使用静态驱动程序验证器查找驱动程序中的缺陷

适用于

WDF_MEMORY_DESCRIPTOR_INIT_HANDLEWdfMemoryAssignBufferWdfMemoryCopyFromBufferWdfMemoryCopyToBufferWdfMemoryGetBufferWdfObjectDeleteWdfObjectDereferenceWdfObjectReferenceWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory