IrqlKeReleaseSpinLock 規則 （wdm）
IrqlKeReleaseSpinLock 規則指定只有在 IRQL 上執行的 KeReleaseSpinLock 等於DISPATCH_LEVEL時，驅動程式才會呼叫 KeReleaseSpinLock。
此規則也會指定對 KeReleaseSpinLock 呼叫中 NewIrql 參數的值等於在呼叫 KeAcquireSpinLock 之前執行驅動程式的 IRQL。 （此值也是 的值KeAcquireSpinLock 所提供的 OldIrql 參數。
驅動程式模型：WDM
使用此規則找到的錯誤檢查：錯誤檢查0xC4：DRIVER_VERIFIER_DETECTED_VIOLATION（0x00020015）
測試方法
| 在編譯時期 |
|---|
執行 靜態驅動程序驗證器 ，並指定 IrqlKeReleaseSpinLock 規則。 使用下列步驟來執行程式碼的分析：如需詳細資訊，請參閱 使用靜態驅動程式驗證器尋找驅動程式中的瑕疵。 |
| 在執行階段 |
|---|
執行 驅動程式驗證器 ，然後選取 [DDI 合規性檢查 ] 選項。 |