DoubleExFreePool 規則 (storport)
此規則會確認驅動程式不會嘗試釋放相同的集區內存區塊兩次。
此規則會追蹤第一次傳遞至 ExFreePool 的記憶體指標。 如果再次傳遞相同的指標,驅動程式就會失敗規則。 如果驅動程式呼叫 RemoveHeadList 或 RemoveEntryList,規則就會通過。
驅動程式模型:Storport
測試方法
在編譯時期 |
---|
執行 靜態驅動程式驗證器 並指定 DoubleExFreePool 規則。 使用下列步驟來執行程式碼的分析:如需詳細資訊,請參閱 使用靜態驅動程式驗證器尋找驅動程式中的瑕疵。 |
適用於
意見反應
https://aka.ms/ContentUserFeedback。
即將登場:在 2024 年,我們將逐步淘汰 GitHub 問題作為內容的意見反應機制,並將它取代為新的意見反應系統。 如需詳細資訊,請參閱:提交並檢視相關的意見反應