通过

CriticalRegions 规则 (wdm)

  • 项目

CriticalRegions 规则指定驱动程序必须在调用 KeLeaveCriticalRegion 之前调用 KeEnterCriticalRegion，并且驱动程序在对 KeEnterCriticalRegion 的任何后续调用之前调用 KeLeaveCriticalRegion。 允许 (嵌套调用。)

此规则还指定驱动程序调用 KeLeaveCriticalRegion ，以重新启用在返回前 (APC) 正常内核异步过程调用的传递。

KeEnterCriticalRegion 和 KeLeaveCriticalRegion 的 WDK 文档说明了这些函数的调用方可以在 IRQL<=APC_LEVEL 运行。 在这种情况下，此规则强制执行最佳做法建议。

驱动程序模型：WDM

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

如何测试

编译时

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

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

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

运行 驱动程序验证程序 并选择“ DDI 符合性检查” (其他) 选项。

适用于

ExEnterCriticalRegionAndAcquireResourceExclusiveExReleaseResourceAndLeaveCriticalRegionKeEnterCriticalRegionKeLeaveCriticalRegion