ツールのサンプル
このディレクトリのドライバー サンプルには、静的ドライバー検証ツール (SDV) の機能を示すように設計された意図的なコード エラーが含まれています。
SDV は、Windows カーネル モードのドライバーのソース コードを系統的に分析する静的検証ツールです。 SDV は Windows Driver Kit (WDK) に含まれており、Microsoft Visual Studio から実行できます。
サンプル | 説明 |
---|---|
DV-FailDriver-WDM | このサンプルでは、DV が WDM ドライバーでエラーを検出する方法を示します。 |
SDV-FailDriver-KMDF | このサンプルでは、SDV が KMDF ドライバーでエラーを検出する方法を示します。 |
SDV-FailDriver-NDIS | このサンプルでは、SDV が NDIS ドライバーでエラーを検出する方法を示します。 |
SDV-FailDriver-STORPORT | このサンプルでは、SDV が Storport ドライバーでエラーを検出する方法を示します。 |
SDV-FailDriver-WDM | このサンプルでは、SDV が WDM ドライバーでエラーを検出する方法を示します。 |