PdoInitFreeDeviceCreateType4 规则 (kmdf)

  • 项目

PdoInitFreeDeviceCreateType4 规则指定如果驱动程序调用WdfDeviceCreate时出现错误，驱动程序必须调用WdfDeviceInitFree 。

如果驱动程序在调用WdfDriverCreate时遇到错误，并且驱动程序从对WdfPdoInitAllocate的调用接收到WDFDEVICE_INIT结构，则驱动程序必须调用WdfDeviceInitFree。

驱动程序模型： KMDF

如何测试

在编译时

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

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

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

适用于

WdfDeviceCreateWdfDeviceInitFreeWdfPdoInitAllocate