MemAfterReqCompletedIntIoctl 规则 (kmdf)

  • 项目

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

在驱动程序的EvtIoInternalDeviceControl回调函数中，在 i/o 请求上调用WdfRequestComplete、 WdfRequestCompleteWithInformation或WdfRequestCompleteWithPriorityBoost后，无法访问 retrievedby 调用WdfRequestRetrieveInputMemory或WdfRequestRetrieveOutputMemory方法的 framework 内存对象。

此规则考虑以下两种内存访问方法：

WdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory

驱动程序模型： KMDF

如何测试

在编译时

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

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

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

适用于

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory