此目錄中的驅動程式範例包含刻意的程式代碼錯誤,其設計目的是要顯示靜態驅動程式驗證器 (SDV) 的功能和特性。
SDV 是一種靜態驗證工具,可系統地分析 Windows 核心模式驅動程式的原始程式碼。 SDV 包含在 Windows 驅動程式套件 (WDK) 中,而且可以從 Microsoft Visual Studio 執行。
| 範例 | 說明 |
|---|---|
| DV-錯誤驅動程式-WDM | 此範例示範 DV 如何在 WDM 驅動程式中尋找錯誤。 |
| SDV-FailDriver-KMDF | 此範例示範 SDV 如何在 KMDF 驅動程式中尋找錯誤。 |
| SDV-FailDriver-NDIS | 此範例示範 SDV 如何在 NDIS 驅動程式中尋找錯誤。 |
| SDV-FailDriver-STORPORT | 此範例示範 SDV 如何在 Storport 驅動程式中尋找錯誤。 |
| SDV-FailDriver-WDM | 此範例示範 SDV 如何在 WDM 驅動程式中尋找錯誤。 |