IrqlKeReleaseSpinLock 规则 (wdm)

IrqlKeReleaseSpinLock 规则指定驱动程序仅当在 IRQL 执行时调用 KeReleaseSpinLock，等于 DISPATCH_LEVEL。

此规则还指定对 KeReleaseSpinLock 的调用中 NewIrql 参数的值等于驱动程序在调用 KeAcquireSpinLock 之前执行的 IRQL。 (此值也是 KeAcquireSpinLock.) 提供的 OldIrql 参数的值

驱动程序模型：WDM

通过以下规则找到的 Bug) 检查 (：Bug 检查0xC4：DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015)

如何测试

编译时
运行静态驱动程序验证程序并指定 IrqlKeReleaseSpinLock 规则。使用以下步骤运行代码分析：准备代码 (使用角色类型声明) 。运行静态驱动程序验证程序。查看和分析结果。有关详细信息，请参阅使用静态驱动程序验证程序查找驱动程序中的缺陷。

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

使用以下步骤运行代码分析：

运行时
运行驱动程序验证程序并选择 DDI 符合性检查选项。