靜態驅動程式驗證器簡介

  • 發行項

靜態驅動程式驗證程式 (SDV) 是一種在編譯時期執行的靜態驗證工具。 它會藉由以符號方式執行原始程式碼來探索驅動程式程式碼中的路徑，讓作業系統狀態和驅動程式初始狀態的可能假設最少。 因此，SDV 可以在傳統測試中遺漏的路徑中練習程式碼。

SDV 包含一組規則，可定義驅動程式與作業系統核心之間的適當互動。 在驗證期間，SDV 會檢查驅動程式程式碼的每個適用分支及其所使用的程式庫程式碼，並嘗試證明驅動程式違反規則。 如果 SDV 無法證明違規，則會報告驅動程式符合規則並通過驗證。

本節包括：

瞭解靜態驅動程式驗證器

靜態驅動程式驗證器概念

支援的驅動程式

靜態驅動程式驗證器限制