IrqlKeReleaseSpinLock 規則 （wdm）

  • 發行項

IrqlKeReleaseSpinLock 規則指定只有在 IRQL 上執行的 KeReleaseSpinLock 等於DISPATCH_LEVEL時，驅動程式才會呼叫 KeReleaseSpinLock。

此規則也會指定對 KeReleaseSpinLock 呼叫中 NewIrql 參數的值等於在呼叫 KeAcquireSpinLock 之前執行驅動程式的 IRQL。 （此值也是 的值KeAcquireSpinLock 所提供的 OldIrql 參數。

驅動程式模型：WDM

使用此規則找到的錯誤檢查：錯誤檢查0xC4：DRIVER_VERIFIER_DETECTED_VIOLATION（0x00020015）

測試方法

在編譯時期

執行 靜態驅動程序驗證器 ，並指定 IrqlKeReleaseSpinLock 規則。

使用下列步驟來執行程式碼的分析：
  1. 準備您的程序代碼（使用角色類型宣告）。
  2. 執行靜態驅動程式驗證器。
  3. 檢視和分析結果。

如需詳細資訊，請參閱 使用靜態驅動程式驗證器尋找驅動程式中的瑕疵。
在執行階段

執行 驅動程式驗證器 ，然後選取 [DDI 合規性檢查 ] 選項。

適用於

KeReleaseSpinLock