次の方法で共有

静的ドライバー検証ツールの規則一覧ファイル

  • [アーティクル]

SDV ルール リスト ファイルは、1 つまたは複数の 静的ドライバー検証ルール または、ルール名パターンを、1 行に 1 つのルールまたはルール名パターンでリスト化したテキスト ファイルです。 ルールは任意の順序で表示でき、表示された順序で検証されます。 ファイル名の拡張子は .sdv で、Test.sdv のようになります。

各行にリスト化されるルールは、各行に 1 つのルールの名前を指定することも、すべての SDV ルールを表すワイルドカード文字 (*) を指定することもできます。

SDV には、便利なルール リスト ファイルのセットが WDK の \tools\sdv\samples\rule_sets\wdm サブディレクトリに含まれており、自分で作成することもできます。

コマンドでルール リスト ファイルを使用するには、「静的ドライバー検証ツール コマンド (MSBuild)」を参照してください。

通常、ルール名パターンで指定できない SDV 検証の複数のルールを指定するには、ルール リスト ファイルを使用します。 バッチ テストや回帰テストにも有効です。

例

次のサンプル ルール リスト ファイルは、選択された SDV ルールのセットを一覧表示します。

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

次のコマンドでは、ルール リスト ファイル MyRules.sdv を使用して SDV 検証を開始します。

msbuild /t:sdv /p:Inputs="/check:D:\SDV\MyRules.sdv" mydriver.VcxProj /p:Configuration="Windows 7 Release" /p:Platform=Win32

コメント

検証ルールを一覧表示するために作成するルール リスト ファイルには、ファイル名拡張子 .sdv が付いています。 ルールの SDV ソース コード ファイルには、ファイル名拡張子 .slic 付いています。