ExclusiveResourceAccess 規則 (wdm)
ExclusiveResourceAccess 規則會指定驅動程式在呼叫 ExReleaseResourceLite 或 ExReleaseResourceForThreadLite 之前先呼叫 ExAcquireresourceExclusiveLite,並指定驅動程式在任何後續呼叫 ExAcquiresourceExclusiveLite 之前呼叫 ExAcquireaseResourceForThreadLite。
如果巢狀呼叫正在取得和釋放不同的資源,則允許呼叫。 取得或釋放相同資源的巢狀呼叫違反此規則。
此規則也會指出當例程結束時,驅動程式不得具有資源的獨佔存取權。 靜態驅動程式驗證器會監視 DriverEntry、 AddDevice、 StartIo、 StartDevice、 DpcForIsr、 Cancel、 Dispatch、 RemoveDevice 和 Unload 例程的結尾。
驅動程式模型:WDM
使用此規則找到的錯誤檢查 () |
測試方法
在編譯時期 |
---|
執行 靜態驅動程式驗證器 ,並指定 ExclusiveResourceAccess 規則。 使用下列步驟來執行程式碼的分析:如需詳細資訊,請參閱 使用靜態驅動程式驗證器在驅動程式中尋找瑕疵。 |
適用於
ExAcquireResourceExclusiveLiteExReleaseResourceForThreadLiteExReleaseResourceLite