ドライバーの検証ツールのコマンド構文
コマンド プロンプト ウィンドウで検証ツール ユーティリティを実行する場合は、次の構文が使用されます。
同じ 1 行に複数のオプションを入力できます。 次に例を示します。
verifier /flags 7 /driver beep.sys disksdd.sys
Windows 11 構文
/volatile パラメーターは、一部のドライバー検証ツール /フラグ オプションと共に使用できます 。 詳細については、「揮発性設定の使用」を参照してください。
Note
/volatile パラメーターは、将来のバージョンの Windows で非推奨となる予定です。 Windows 11 では、置換オプションは /dif DifEnabledRule /now オプションです。 このオプションを使用して有効にできるルール クラスについては、以下の「Windows 11 ルール クラス」セクションを参照してください。
verifier /standard /all
verifier /standard /driver NAME [NAME ...]
verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /all
verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /driver NAME [NAME ...]
verifier /flags <options> /all
verifier /flags <options> /driver NAME [NAME ...]
verifier /rules [OPTION ...]
verifier /dif [<ruleclass_1> <ruleclass_2> ...] /now /driver NAME [NAME ...]
verifier /query
verifier /querysettings
verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
verifier /bc <number_of_reboots>
verifier /reset
verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /faultssystematic [OPTION ...]
verifier /log LOG_FILE_NAME [/interval SECONDS]
verifier /volatile /flags <options>
verifier /volatile /adddriver NAME [NAME ...]
verifier /volatile /removedriver NAME [NAME ...]
verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /domain <types> <options> /driver ... [/logging | /livedump]
verifier /logging
verifier /livedump
verifier /?
verifier /help
Windows 10 構文
/volatile パラメーターと共に、ドライバーの検証ツールの一部の /flags オプションおよび /standard を使用できます。 /volatile と共に、/flags オプションの DDI 準拠の検査、Power Framework 遅延ファジー テスト、Storport 検証、SCSI 検証 を使用することはできません。 詳細については、「揮発性設定の使用」を参照してください。
verifier /standard /all
verifier /standard /driver NAME [NAME ...]
verifier {/ruleclasses | /rc} <options> [<ruleclass_1> <ruleclass_2> ...] /all
verifier /flags <options> /all
verifier /flags <options> /driver NAME [NAME ...]
verifier /rules [OPTION ...]
verifier /query
verifier /querysettings
verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
verifier /reset
verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /faultssystematic [OPTION ...]
verifier /log LOG_FILE_NAME [/interval SECONDS]
verifier /volatile /flags <options>
verifier /volatile /adddriver NAME [NAME ...]
verifier /volatile /removedriver NAME [NAME ...]
verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /domain <types> <options> /driver ... [/logging | /livedump]
verifier /logging
verifier /livedump
verifier /?
verifier /help
Windows 8.1 構文
/volatile パラメーターと共に、ドライバーの検証ツールの一部の /flags オプションおよび /standard を使用できます。 /volatile と共に、/flags オプションの DDI 準拠の検査、Power Framework 遅延ファジー テスト、Storport 検証を使用することはできません。 詳細については、「揮発性設定の使用」を参照してください。
verifier /standard /all
verifier /standard /driver NAME [NAME ...]
verifier /flags <options> /all
verifier /flags <options> /driver NAME [NAME ...]
verifier /rules [OPTION ...]
verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /faultssystematic [OPTION ...]
verifier /log LOG_FILE_NAME [/interval SECONDS]
verifier /query
verifier /querysettings
verifier /bootmode [persistent | disableafterfail | oneboot]
verifier /reset
verifier /volatile /flags <options>
verifier /volatile /adddriver NAME [NAME ...]
verifier /volatile /removedriver NAME [NAME ...]
verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
verifier /?
Windows 8、Windows 7 構文
/volatile パラメーターと共に、ドライバーの検証ツールの一部の /flags オプションおよび /standard を使用できます。 /volatile と共に、/flags オプションの DDI 準拠の検査、Power Framework 遅延ファジー テスト、Storport 検証、SCSI 検証 を使用することはできません。 詳細については、「揮発性設定の使用」を参照してください。
verifier [/volatile] [/standard | /flags Options ] [ /all | /driver DriverList ]
verifier /volatile /faults [Probability PoolTags Applications DelayMins] /driver DriverList
verifier /volatile {/adddriver | /removedriver} DriverList
verifier /reset
verifier /querysettings
verifier /query
verifier /log LogFileName [/interval Seconds]
verifier /?
パラメーター
Verifier コマンド ライン構文
/all 次の起動後に、インストールされているすべてのドライバーを検証するようにドライバーの検証ツール ユーティリティに指示します。
/bc <number_of_reboots> 検証をアクティブにする再起動の数を設定します。
このオプションでは、ResetOnUnusualShutdown ブート モードが自動的に設定されます。
/bootmode mode 再起動後にドライバー検証ツールの設定を有効にするかどうかを制御します。 このオプションを設定または変更するには、コンピューターを再起動する必要があります。
Bootmode | 説明 |
---|---|
persistent |
再起動の回数が多くてもドライバーの検証ツールの設定が保持されるようにします (有効なまま)。 これが既定の設定です。 |
resetonbootfail |
システムの起動に失敗した場合、後続の再起動のためにドライバー検証ツールを無効にします。 |
oneboot |
次にコンピューターが起動されるときにだけ、ドライバーの検証ツールの設定を有効にします。 その後の再起動では、ドライバーの検証ツールは無効になります。 |
resetonunusualshutdown |
(Windows 10 ビルド 1709 で導入)ドライバー検証ツールは、通常とは異なるシャットダウンが発生するまで保持されます。 省略形の "rous" を使用できます。 |
/dif DifEnabledRule DIF 対応ルールを使用してチェックを有効にします。 チェックは、次回システムが再起動されるときに有効になります。 Windows 11で追加されました。
/dif DifEnabledRule /now DIF 対応ルールを使用して直ちにチェックを有効にします。 再起動を必要とせずに、ルール クラスをすぐに有効にします。 このオプションは、ルール クラスがまだ実行されていない場合にのみ有効です。 即時アクティブ化が可能なルール クラスについては、Windows 11 ルール クラスの説明を参照してください。
/driver DriverList 検証される 1 つ以上のドライバーを指定します。 Driverlist は、Driver.sys のような、バイナリ名によるドライバーのリストです。 各ドライバー名を区切るにはスペースを使用します。 ワイルドカード値 (たとえば、n*.sys) は、サポートされていません。
/driver.exclude DriverList 検証から除外される 1 つ以上のドライバーを指定します。 このパラメーターは、すべてのドライバーが検証対象として選択されている場合にのみ適用されます。 Driverlist は、Driver.sys のような、バイナリ名によるドライバーのリストです。 各ドライバー名を区切るにはスペースを使用します。 ワイルドカード値 (たとえば、n*.sys) は、サポートされていません。
/faults ドライバーの検証ツール ユーティリティで低リソースのシミュレーション機能を有効にします。 /flags 0x4 の代わりに /faults を使用できます。 ただし、/flags 0x4 を /flags 0x4 サブパラメーターとは使用できません)。
/faults パラメーターの次のサブパラメーターを使用して、低リソースのシミュレーションを構成することができます。
サブパラメータ | 説明 |
---|---|
確率 |
ドライバーの検証ツール ユーティリティで特定の割り当てが失敗する確率を指定します。 10,000 回のうちドライバーの検証ツール ユーティリティが割り当てに失敗する回数を表す値 (10 進数または 16 進数形式) を入力します。 既定値の 600 は、600/10000 つまり 6% を意味します。 |
プール タグ |
ドライバーの検証ツール ユーティリティが失敗する可能性がある割り当てを、指定したプール タグを持つ割り当てに制限します。 ワイルドカード文字 (*) を使って、複数のプール タグを表すことができます。 複数のプール タグのリストを指定するには、タグをスペースで区切ります。 既定では、すべての割り当てが失敗する可能性があります。 |
アプリケーション |
ドライバーの検証ツールが失敗する可能性がある割り当てを、指定されたプログラムへの割り当てに制限します。 実行可能ファイルの名前を入力します。 プログラムのリストを指定するには、プログラム名をスペースで区切ります。 既定では、すべての割り当てが失敗する可能性があります。 |
DelayMins |
ドライバーの検証ツール ユーティリティが意図的に割り当てを失敗させない、起動後の時間 (分単位) を指定します。 この遅延により、ドライバーが読み込まれ、テストが開始される前にシステムが安定します。 値 (10 進数または 16 進数) を入力します。 既定値は 7 (分) です。 |
/faultssystematic 体系的な低リソースのシミュレーションのオプションを指定します。 体系的な低リソースのシミュレーションのオプションを選ぶには、0x40000フラグを使用します。
OPTION | 説明 |
---|---|
enableboottime |
コンピューターの再起動をまたぐフォールト挿入を有効にします。 |
disableboottime |
コンピューターの再起動をまたぐフォールト挿入を無効にします (これは既定の設定です)。 |
recordboottime |
コンピューターの再起動をまたがる what if モードでのフォールト挿入を有効にします。 |
resetboottime |
コンピューターの再起動をまたがるフォールト挿入を無効にして、スタック除外リストをクリアします。 |
enableruntime |
動的にフォールト挿入を有効にします。 |
disableruntime |
動的にフォールト挿入を無効にします。 |
recordruntime |
動的に what if モードでのフォールト挿入を有効にします。 |
resetruntime |
フォールト挿入を動的に無効にして、それまでのフォールトのあるスタック リストをクリアします。 |
querystatistics |
現在のフォールト挿入の統計を表示します。 |
incrementcounter |
フォールトが挿入されたことを示すために使用されるテスト成功カウンターを増分します。 |
getstackid COUNTER |
指定された挿入されたスタック識別子を取得します。 |
excludestack STACKID |
スタックをフォールト挿入から除外します。 |
/flags Options 次回の再起動後に指定したオプションをアクティブにします。 この値は、10 進数または 16 進数 (0x プレフィックスを使用) の形式で入力できます。 次の値の任意の組み合わせを使用できます。
10 進法 | 16 進数 | 標準設定 | オプション |
---|---|---|---|
1 |
0x1 (ビット 0) |
x |
|
2 |
0x2 (ビット 1) |
x |
|
4 |
0x4 (ビット 2) |
||
8 |
0x8 (ビット 3) |
x |
|
16 |
0x10 (ビット 4) |
x |
|
32 |
0x20 (ビット 5) |
x |
|
64 |
0x40 (ビット 6) |
拡張 I/O 検証 I/O 検証を選択すると、このオプションが自動的にアクティブ化されます。 |
|
128 |
0x80 (ビット 7) |
x |
|
256 |
0x100 (ビット 8) |
x |
|
512 |
0x200 (ビット 9) |
||
1024 |
0x400 (ビット 10) |
||
2048 |
0x800 (ビット 11) |
x |
|
8192 |
0x2000 (ビット 13) |
スタック の不変MDLチェック (Windows 8以降) |
|
16384 |
0x4000 (ビット 14) |
ドライバー向けスタック の不変MDLチェック (Windows 8以降) |
|
32768 |
0x8000 (ビット 15) |
Power Framework Delay Fuzzing (Windows 8 以降) (Windows 10 ビルド 19042 以降では非推奨) |
|
65536 |
0x10000 (ビット 16) |
ポート/ミニポート インターフェイスのチェック (Windows 10 以降) |
|
131072 |
0x20000 (17ビット) |
x |
DDI コンプライアンス チェック (Windows 8 以降) |
262144 |
0x40000 (ビット 18) |
体系的な低リソース シミュレーション (Windows 8.1 以降) (Windows 10 ビルド 19042 以降では非推奨) |
|
524288 |
0x80000 (ビット 19) |
DDI コンプライアンスチェック (追加) (Windows 8.1 以降) (Windows 10 ビルド 19042 以降では非推奨) |
|
2097152 |
0x200000 (ビット 21) |
NDIS/WIFI 検証 (Windows 8.1 以降) |
|
8388608 |
0x800000 (ビット 23) |
カーネル同期遅延ファジイング (Windows 8.1 以降) (Windows 10 ビルド 19042 以降では非推奨) |
|
16777216 |
0x1000000 (ビット 24) |
VM スイッチの検証 (Windows 8.1 以降) |
|
33554432 |
0x2000000 (ビット 25) |
コード整合性チェック (Windows 10 以降) |
この方法を使用して、SCSI 検証または Storport 検証のオプションをアクティブにすることはできません。 詳細については、「Storport の検証」を参照してください。
/flags VolatileOptions 再起動せずにすぐに変更されるドライバー検証ツールのオプションを指定します。
/volatile パラメーターは、すべての /flags 値と共に使用できます)。
この値は、10 進数または 16 進数 (0x プレフィックスを使用) の形式で入力してください。
次の値の任意の組み合わせを利用できます。
16 進数 | オプション |
---|---|
0x00000004 (ビット 2) |
ランダム化された低リソース シミュレーション |
0x00000020 (ビット 5) |
デッドロックの検出 |
0x00000080 (ビット 7) |
DMA チェック |
0x00000200 (ビット 9) |
保留中の I/O 要求を強制する |
0x00000400 (ビット 10) |
IRP ログ |
/ruleclasses または /rc <ruleclass_1><ruleclass_2> ... <ruleclass_k>
ruleclasses パラメーターは、Windows バージョン 1803 以降で使用できます。
ruleclasses パラメーターには、上記の /flags パラメーターよりも大きな一連の検証クラスが含まれます。 /flags は 32 ビットのビットマップ式に制限されていますが、このオプションには 32 を超える検証クラスを含めることができます。 各正の 10 進整数は、検証クラスを表します。 各クラス ID をスペース文字で区切ることで、複数のクラスを表すことができます。 次のルール クラス ID を使用できます。
標準ルール クラス
Value | Rule |
---|---|
1 | 特別なプール |
2 | 強制 IRQL 検査 |
4 | プールのトラック |
5 | I/O の検証 |
6 | デッドロックの検出 |
8 | DMA チェック |
9 | セキュリティの検査 |
12 | その他の検査 |
18 | DDI 準拠の検査 |
34 | WDF の検証 |
37 | ファイル システム フィルターの検証 (5) |
その他のルール クラス
これらのルール クラスは、特定のシナリオのテストを目的としています。 (*)
"I/O 検証が必要 (5)" と マークされた規則クラスを使用して自動的に有効にします。 個々のルールの無効化する(**)
サポート マークが付いたルール クラス。 (***)
マークが付けられたルール クラスは既定でログ モードであり、違反時にクラッシュするには /onecheck が必要です。
(!)
マークがついた フラグでは、DIF モード (ルール クラス 36) を有効にする必要があります。
Value | Rule |
---|---|
3 | ランダム化された低リソース シミュレーション |
10 | 保留中の I/O 要求を強制する (*) |
11 | IRP ログ (*) |
14 | スタックの不変 MDL チェック (*) |
15 | ドライバーの不変 MDL チェック (*) |
16 | Power Framework 遅延ファジー テスト |
17 | ポート/ミニポート インターフェイス チェック |
19 | 体系的な低リソースのシミュレーション |
20 | DDI コンプライアンス チェック (追加) |
22 | NDIS/WIFI 検証 (**) |
24 | カーネル同期遅延ファジー テスト |
25 | VM スイッチ検証 |
26 | コードの整合性チェック |
33 | ドライバーの分離チェック (***, !) |
36 | DIF のモード |
Windows 11 ルール クラス
Windows 11 以降では、次の標準規則クラスを使用できます。 /standard オプションを使用すると、これらのルール クラスがすべて有効になります。
/now 列は、/dif DifEnabledRule /now オプションを使用して再起動せずに有効にできるルール クラスを示します。
標準ルール クラス
Value | Rule | /now |
---|---|---|
1 | 特別なプール | はい |
2 | 強制 IRQL 検査 | はい |
4 | プールのトラック | はい |
5 | I/O の検証 | はい |
6 | デッドロックの検出 | いいえ |
8 | DMA チェック | いいえ |
9 | セキュリティの検査 | はい |
12 | その他の検査 | はい |
18 | DDI 準拠の検査 | はい |
34 | WDF の検証 | いいえ |
37 | ファイル システム フィルターの検証 | いいえ |
ルール クラス 37 (ファイル システム フィルターの検証) では、ルール クラス 5 (I/O 検証) も有効になっている必要があることに注意してください。 この規則クラスの詳細については、「 ファイル システム フィルターの検証 」を参照してください。
その他のルール クラス
次のルール クラス ID も使用できます。
- /now 列は、/dif DifEnabledRule /now オプションを使用して再起動せずに有効にできるルール クラスを示します。
- [ルール クラスが必要 ] 列は、指定されたルール クラスを使用するためにどのルール クラスも有効にする必要があることを示します。 /dif コマンドには ルール クラス 36 (DIF モード) が自動的に含まれますが、/ruleclasses と /rc には含まれていないことに注意してください。
- 個々のルールの無効化する
(**)
サポート マークが付いたルール クラス。 (***)
マークが付けられたルール クラスは既定でログ モードであり、違反時にクラッシュするには /onecheck オプションが必要です。
Value | Rule | /now | ルール クラスが必要 |
---|---|---|---|
3 | ランダム化された低リソース シミュレーション | いいえ | なし |
10 | 保留中の I/O 要求を強制する | いいえ | 5 |
11 | IRP ログ | いいえ | 5 |
14 | スタックの不変 MDL チェック (*) | いいえ | 5 |
15 | ドライバーの不変 MDL チェック (*) | いいえ | 5 |
16 | Power Framework 遅延ファジー テスト | いいえ | なし |
17 | ポート/ミニポート インターフェイス チェック | いいえ | なし |
19 | 体系的な低リソースのシミュレーション | はい | 36 |
20 | DDI コンプライアンス チェック - 追加 | はい | なし |
22 | NDIS/WIFI 検証(**) |
いいえ | なし |
24 | カーネル同期遅延ファジー テスト | いいえ | なし |
25 | VM スイッチ検証 | いいえ | なし |
26 | コードの整合性チェック | いいえ | なし |
33 | ドライバーの分離チェック(***) |
いいえ | 36 |
36 | DIF のモード | はい | なし |
/log LogFileName [/interval|Seconds] LogFileName という名前のログ ファイルを作成します。 ドライバー検証ツールは、このファイルに統計を定期的に書き込みます。 詳細については、「ログ ファイルの作成」を参照してください。
検証ツール /log コマンドをコマンド ラインで入力した場合、コマンド プロンプトには戻りません。 ログ ファイルを閉じてプロンプトに戻るには、Ctrl + C キーを使用します。 再起動後にログを作成するには、verifier /log コマンドをもう一度送信する必要があります。
オプション | 説明 |
---|---|
/interval 秒 | ログ ファイルの更新間隔を分単位で指定します。 既定値は 30 秒です。 |
/rules Option 無効にできるルールのオプション (詳細)。
オプション | 説明 |
---|---|
クエリ |
制御可能なルールの現在の状態が表示されます。 |
reset |
すべてのルールを既定の状態にリセットします。 |
default ID |
ルール ID を既定の状態に設定します。 サポートされているルールの場合、ルール ID はバグ チェック 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) のパラメーター 1 の値です。 |
disable ID |
指定したルール ID を無効にします。 サポートされているルールの場合、ルール ID はバグ チェック 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) のパラメーター 1 の値です。 |
/standard 次回の再起動後に、ドライバーの検証ツールの "標準" つまり既定のオプションをアクティブにします。 標準オプションは 、[Special Pool]、[Force IRQL Checking]、[Pool Tracking]、[I/O Verification]、[Deadlock Detection]、[DMA Verification] です。 および WDF 検証 標準オプションには、セキュリティ チェック、その他のチェック、DDI コンプライアンス チェックも含まれます。
Note
Windows 10 バージョン 1803 以降では、 /flags 0x209BB を使用しても WDF の検証は自動的に有効になりません。 WDF の検証も含めて標準のオプションを有効にするには、/standard 構文を使用します。
/stop 検証を停止するために 、'/dif /now' で有効になっているルール クラスを無効にします。
/volatile /flags コンピューターを再起動せずに設定を変更します。 volatile の設定は直ちに有効になります。 /volatile パラメーターと /flags パラメーターを使用すると、再起動せずに一部のオプションを有効または無効にすることができます。 また、ドライバーの検証ツール ユーティリティがすでに実行されていない場合でも、/volatile と /adddriver および /removedriver パラメーターを使用して、再起動せずにドライバーの検証を開始または停止することもできます。
再起動せずにすぐに変更されるドライバー検証ツールのオプションを指定します。 volatile では、次のフラグのみを使用できます。
0x00000004 (ビット 2) - ランダム化された低リソース シミュレーション 0x00000020 (ビット 5) - デッドロック検出0x00000080 (ビット 7) - DMA チェック0x00000200 (ビット 9) - 保留中の I/O 要求の0x00000400の強制 (ビット 10) - IRP ログ記録
詳細については、「揮発性設定の使用」を参照してください。
オプション | 説明 |
---|---|
/adddriver VolatileDriverList |
指定したドライバーを揮発性の設定に追加します。 複数のドライバーを指定するには、名前のリストをスペースで区切ります。 ワイルドカード値 (たとえば、n.sys) は、サポートされていません。 詳細については、「揮発性設定の使用」を参照してください。 |
/removedriver VolatileDriverList |
指定したドライバーを揮発性の設定から削除します。 複数のドライバーを指定するには、名前のリストをスペースで区切ります。 ワイルドカード値 (たとえば、n.sys) は、サポートされていません。 詳細については、「揮発性設定の使用」を参照してください。 |
/reset すべてのドライバー検証ツールの設定をクリアします。 次のブート後、ドライバーは検証されません。
/querysettings 次の起動の後でアクティブにされるオプションと検証されるドライバーの概要を表示します。 この表示には、/volatile パラメーターを使用して追加されたドライバーとオプションは含まれません。 これらの設定を表示する他の方法については、「ドライバーの検証ツールの設定の表示」をご覧ください。
/query ドライバーの検証ツール ユーティリティの現在のアクティビティの概要を表示します。 表示の Level フィールドは、/volatile パラメーターで設定されたオプションの 16 進数の値です。 各統計の説明については、「グローバル カウンターの監視」と「個別カウンターの監視」をご覧ください。
/domain Types **** Options 検証ツール拡張機能の設定を制御します。 次の検証ツール拡張機能の種類がサポートされています。
types | 説明 |
---|---|
wdm |
WDM ドライバー用の検証ツール拡張機能を有効にします。 |
ndis |
ネットワーク ドライバー用の検証ツール拡張機能を有効にします。 |
ks |
カーネル モード ストリーミング ドライバー用の検証ツール拡張機能を有効にします。 |
audio |
オーディオ ドライバー用の検証ツール拡張機能を有効にします。 |
次の拡張機能オプションがサポートされています。
[オプション] | 説明 |
---|---|
rules.default |
選択した検証ツール拡張機能の既定の検証ルールを有効にします。 |
rules.all |
選択した検証ツール拡張機能のすべての検証ルールを有効にします。 |
/ログ記録選択した検証ツール拡張機能によって検出された違反ルールのログ記録を有効にします。
/livedump選択した検証ツール拡張機能によって検出された規則に違反した場合に、ライブ メモリ ダンプ収集を有効にします。
/?コマンド ライン ヘルプを表示します。
これらのコマンドの使用方法の詳細については、「ドライバー検証ツールの制御とドライバー検証ツールの監視」を参照してください。
/helpコマンド ライン ヘルプを表示します。
これらのコマンドの使用方法の詳細については、「ドライバー検証ツールの制御とドライバー検証ツールの監視」を参照してください。
リターン コード
ドライバーの検証ツールの実行後には、次の値が返されます。
0: EXIT_CODE_SUCCESS
1: EXIT_CODE_ERROR
2: EXIT_CODE_REBOOT_NEEDED