通过

ReqMarkCancelableSend rule (kmdf)

  • 项目

ReqMarkCancelableSend 规则指定不通过调用 WdfRequestMarkCancelable 将驱动程序转发的请求标记为可取消。

若要将请求标记为可取消，驱动程序必须拥有该请求。 将请求发送到另一个驱动程序时，以前的驱动程序不再拥有所有权，并且必须对请求调用 WdfRequestUnmarkCancelable （如果以前标记为可取消）。

驱动程序模型：KMDF

如何测试

编译时

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

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

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

适用于

WdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestUnmarkCancelable