通过

MemAfterReqCompletedIntIoctl 规则 (kmdf)

  • 项目

该 MemAfterReqCompletedIntIoctl 规则规定，在 EvtIoInternalDeviceControl 回调函数中，不能在 I/O 请求完成后访问框架内存对象。

在驱动程序的 EvtIoInternalDeviceControl 回调函数内，在 I/O 请求上调用 WdfRequestComplete、WdfRequestCompleteWithInformation 或 WdfRequestCompleteWithPriorityBoost 后，无法访问通过调用 WdfRequestRetrieveInputMemory 或 WdfRequestRetrieveOutputMemory 方法检索的框架内存对象。

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

WdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory

驱动程序模型：KMDF

如何测试

编译时

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

使用以下步骤对代码进行分析：
  1. 准备代码（使用角色类型声明）。
  2. 运行静态驱动程序验证程序。
  3. 查看和分析结果。

更多信息，请参见使用静态驱动程序验证程序查找驱动程序中的缺陷。

适用于

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory