IrqlNtifsApcPassive 规则 (wdm)

IrqlNtifsApcPassive 规则指定,仅当该驱动程序以 irql = PASSIVE_LEVEL 或 irql <= APC_LEVEL 执行时,才调用该规则中列出的 DDIs。

驱动程序模型: WDM

Bug 检查 () 发现此规则bug 检查0XC4:驱动程序 _ 验证器 _ 检测到 _ 违反 (0x20024)

示例

以下代码违反了此规则:

//
// KeAcquireSpinLock raises the IRQL to DISPATCH_LEVEL.
//

KeAcquireSpinLock (&Lock, &OldIrql);

//
// ERROR: ZwWriteFile can only be called at IRQL == PASSIVE_LEVEL.
//

ZwWriteFile (Handle,
             NULL,
             NULL,
             NULL,
             IoStatusBlock,
             Buffer,
             BufferLength,
             NULL,
             NULL);

KeReleaseSpinLock (&Lock, OldIrql);

有关 IRQL 级别的详细信息,请参阅 调度例程和 IRQLs管理硬件优先级

如何测试

在编译时

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

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

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

在运行时

你可以使用 Verifier.exe 命令行为一个或多个驱动程序激活 DDI 符合性-其他 IRQL 规则。 有关详细信息,请参阅 选择驱动程序验证程序选项。 你必须重新启动计算机以激活或停用 DDI 符合性-其他 IRQL 规则。

在命令行中,DDI 符合性 - 其他 IRQL 检查由规则类值 35 表示。 例如:

verifier /ruleclasses 35 /driver MyDriver.sys

OR

verifier /rc 35 /driver MyDriver.sys

重新启动电脑后,其他 IRQL 检查将处于活动状态。

适用于

NtSetInformationFile

NtWriteFile

NtCreateFile

ZwWriteFile

CcCopyWrite

CcCopyWriteEx

CcDeferWrite

CcFastCopyWrite