GuardedRegions ルール (wdm)
GuardedRegions 規則は、 KeEnterGuardedRegion と KeLeaveGuardedRegion の呼び出しが厳密な代替で使用されていることを確認します。
KeEnterGuardedRegion への各呼び出しには、 KeLeaveGuardedRegion への一致する呼び出しが必要です。
ドライバーモデル: WDM
このルールで見つかったバグ チェック: バグ チェック 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0004000E)
テスト方法
コンパイル時 |
---|
静的ドライバー検証 を実行し、 GuardedRegions 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
実行時 |
---|
ドライバー検証ツール を実行し、 DDI コンプライアンス チェック オプションを選択します。 |
適用対象
KeEnterGuardedRegionKeLeaveGuardedRegion