コマンド プロンプト ウィンドウで検証ツール ユーティリティを実行する場合は、次の構文が使用されます。
同じ 1 行に複数のオプションを入力できます。 例えば次が挙げられます。
verifier /flags 7 /driver beep.sys disksdd.sys
Windows 11 構文
/volatile パラメーターは、一部のドライバー検証ツール /flags オプションと共に使用できます。 詳細については、「 揮発性設定の使用」を参照してください。
注
/volatile パラメーターは、将来のバージョンの Windows で非推奨となる予定です。 Windows 11 では、置換オプションは /difDifEnabledRule/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 は、DDI コンプライアンス チェック、Power Framework Delay Fuzzing、Storport Verification の /flags オプションでは使用できません。 詳細については、「 揮発性設定の使用」を参照してください。
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 は、DDI コンプライアンス チェック、Power Framework Delay Fuzzing、Storport Verification の /flags オプションでは使用できません。 詳細については、「 揮発性設定の使用」を参照してください。
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 は、DDI コンプライアンス チェック、Power Framework Delay Fuzzing、Storport Verification、SCSI Verification、または /disk の /flags オプションでは使用できません。 詳細については、「 揮発性設定の使用」を参照してください。
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 /?
パラメーター
検証ツールの Command-Line 構文
/すべての ドライバー検証ツールは、次の起動後にインストールされているすべてのドライバーを確認するように指示します。
/bc <number_of_reboots> 検証をアクティブにする再起動の数を設定します。
このオプションでは、ResetOnUnusualShutdown ブート モードが自動的に設定されます。
/bootmodeモード 再起動後にドライバー検証ツールの設定を有効にするかどうかを制御します。 このオプションを設定または変更するには、コンピューターを再起動する必要があります。
| Bootmode | Description |
|---|---|
永続 |
ドライバー検証ツールの設定が、多くの再起動で保持 (有効な状態を維持) していることを確認します。 これは、既定の設定です。 |
resetonbootfail |
システムの起動に失敗した場合、後続の再起動のためにドライバー検証ツールを無効にします。 |
oneboot |
次にコンピューターを起動する場合にのみ、ドライバー検証ツールの設定を有効にします。 ドライバー検証ツールは、以降の再起動では無効になります。 |
resetonunusualshutdown |
(Windows 10 ビルド 1709 で導入)ドライバー検証ツールは、通常とは異なるシャットダウンが発生するまで保持されます。 省略形 'rous' を使用できます。 |
/difDifEnabledRule DIF 対応ルールを使用してチェックを有効にします。 チェックは、次回システムが再起動されるときに有効になります。 Windows 11 で追加されました。
/difDifEnabledRule/now Immediately enable checking using a DIF enabled rule. 再起動を必要とせずに、ルール クラスをすぐに有効にします。 このオプションは、ルール クラスがまだ実行されていない場合にのみ有効です。 即時アクティブ化が可能なルール クラスについては、Windows 11 ルール クラスの説明を参照してください。
/driverDriverList 検証される 1 つ以上のドライバーを指定します。 DriverList は、Driver.sysなど、バイナリ名別のドライバーの一覧です。 各ドライバー名を区切るにはスペースを使用します。 n*.sysなどのワイルドカード値はサポートされていません。
/driver.excludeDriverList 検証から除外される 1 つ以上のドライバーを指定します。 このパラメーターは、すべてのドライバーが検証対象として選択されている場合にのみ適用されます。 DriverList は、Driver.sysなど、バイナリ名別のドライバーの一覧です。 各ドライバー名を区切るにはスペースを使用します。 n*.sysなどのワイルドカード値はサポートされていません。
/障害 ドライバー検証ツールで低リソース シミュレーション機能を有効にします。 /flags 0x4の代わりに /faults を使用できます。 ただし、/faults サブパラメーターで /flags 0x4を使用することはできません。
/faults パラメーターの次のサブパラメーターを使用して、低リソース シミュレーションを構成できます。
| サブパラメーター | Description |
|---|---|
確率 |
ドライバー検証ツールが特定の割り当てに失敗する確率を指定します。 ドライバー検証ツールが割り当てを失敗させる可能性が 10,000 の数を表す数値 (10 進数または 16 進数) を入力します。 既定値の 600 は、600/10000 つまり 6% を意味します。 |
プール タグ |
ドライバー検証ツールが指定したプール タグを使用して割り当てに失敗する可能性がある割り当てを制限します。 ワイルドカード文字 (*) を使用して、複数のプール タグを表すことができます。 複数のプール タグのリストを指定するには、タグをスペースで区切ります。 既定では、すべての割り当てが失敗する可能性があります。 |
アプリケーション |
ドライバー検証ツールが指定したプログラムの割り当てに失敗する可能性がある割り当てを制限します。 実行可能ファイルの名前を入力します。 プログラムのリストを指定するには、プログラム名をスペースで区切ります。 既定では、すべての割り当てが失敗する可能性があります。 |
DelayMins |
ドライバー検証ツールが意図的に割り当てを失敗しない起動後の分数を指定します。 この遅延により、ドライバーが読み込まれ、テストが開始される前にシステムが安定します。 値 (10 進数または 16 進数) を入力します。 既定値は 7 (分) です。 |
/faultssystematic体系的な低リソース シミュレーションのオプションを指定します。 0x40000 フラグを使用して、体系的な低リソース シミュレーション オプションを選択します。
| オプション | Description |
|---|---|
enableboottime |
コンピューターの再起動中に障害の挿入を有効にします。 |
disableboottime |
コンピューターの再起動の間の障害の挿入を無効にします (これが既定の設定です)。 |
recordboottime |
コンピューターの再起動間で what if モードで障害挿入を有効にします。 |
resetboottime |
コンピューターの再起動間の障害挿入を無効にし、スタック除外リストをクリアします。 |
enableruntime |
障害の挿入を動的に有効にします。 |
disableruntime |
障害挿入を動的に無効にします。 |
recordruntime |
what if モードで障害挿入を動的に有効にします。 |
resetruntime |
障害挿入を動的に無効にし、以前に障害が発生したスタック リストをクリアします。 |
querystatistics |
現在の障害挿入の統計情報を表示します。 |
incrementcounter |
エラーが挿入されたタイミングを識別するために使用されるテスト パス カウンターをインクリメントします。 |
getstackid COUNTER |
指定された挿入されたスタック識別子を取得します。 |
excludestack STACKID |
障害の挿入からスタックを除外します。 |
/flagsオプション 次回の再起動後に指定したオプションをアクティブにします。 この数値は、10 進数または 16 進数 ( 0x プレフィックス付き) 形式で入力できます。 次の値を任意に組み合わせて使用できます。
| Decimal | 16 進値 | 標準設定 | Option |
|---|---|---|---|
1 |
0x1 (ビット 0) |
X |
|
2 |
0x2 (ビット 1) |
X |
|
4 |
0x4 (ビット 2) |
||
八 |
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 Checking for Stack (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 以降) |
|
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 以降) |
この方法を使用して Storport 検証オプションをアクティブ化することはできません。 詳細については、「 Storport の検証」を参照してください。
/flagsVolatileOptions 再起動せずにすぐに変更されるドライバー検証ツールのオプションを指定します。
/volatile パラメーターは、すべての /flags 値と共に使用できます)。
数値を 10 進数または 16 進形式で入力します (プレフィックスは 0x )。
次の値を任意に組み合わせて使用できます。
| 16 進値 | Option |
|---|---|
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 を使用できます。
標準ルール クラス
| 価値 | ルール |
|---|---|
| 1 | 特別なプール |
| 2 | IRQL チェックを強制する |
| 4 | プールの追跡 |
| 5 | I/O 検証 |
| 6 | デッドロック検出 |
| 八 | DMA チェック |
| 9 | セキュリティの検査 |
| 12 | その他のチェック |
| 18 | DDI コンプライアンス チェック |
| 34 | WDF 検証 |
| 37 | ファイル システム フィルターの検証 (5) |
その他のルール クラス
これらのルール クラスは、特定のシナリオ テストを目的としています。
(*)でマークされたルール クラスでは、I/O 検証 (5) が必要であり、自動的に有効になります。
(**)でマークされたルール クラスは、個々のルールの無効化をサポートします。
(***)でマークされたルール クラスは既定でログ モードであり、違反時にクラッシュするには /onecheck が必要です。
(!)でマークされたフラグでは、DIF モード (ルール クラス 36) を有効にする必要があります。
| 価値 | ルール |
|---|---|
| 3 | ランダム化された低リソース シミュレーション |
| 10 | 保留中の I/O 要求を強制 (*) |
| 11 | IRP のログ記録 (*) |
| 14 | スタック (*) の不変 MDL チェック |
| 15 | ドライバー (*) の不変 MDL チェック |
| 16 | Power Framework の遅延ファジー |
| 17 | ポート/ミニポート インターフェイス チェック |
| 19 | 体系的な低リソースのシミュレーション |
| 20 | DDI コンプライアンス チェック (追加) |
| 22 | NDIS/WIFI 検証 (**) |
| 二十四 | カーネル同期遅延ファジー テスト |
| 二十五 | VM スイッチ検証 |
| 26 | コード整合性チェック |
| 33 | ドライバーの分離チェック (***, !) |
| 36 | DIF モード |
Windows 11 ルール クラス
Windows 11 以降では、次の標準規則クラスを使用できます。 /standard オプションを使用すると、これらのルール クラスがすべて有効になります。
/now 列は、/difDifEnabledRule/now オプションを使用して再起動せずに有効にできるルール クラスを示します。
標準ルール クラス
| 価値 | ルール | /今 |
|---|---|---|
| 1 | 特別なプール | yes |
| 2 | IRQL チェックを強制する | yes |
| 4 | プールの追跡 | yes |
| 5 | I/O 検証 | yes |
| 6 | デッドロック検出 | no |
| 八 | DMA チェック | no |
| 9 | セキュリティの検査 | yes |
| 12 | その他のチェック | yes |
| 18 | DDI コンプライアンス チェック | yes |
| 34 | WDF 検証 | no |
| 37 | ファイル システム フィルターの検証 | no |
ルール クラス 37 (ファイル システム フィルターの検証) では、ルール クラス 5 (I/O 検証) も有効になっている必要があることに注意してください。 この規則クラスの詳細については、「 ファイル システム フィルターの検証 」を参照してください。
その他のルール クラス
次の追加のルール クラスを使用できます。
- /now 列は、/difDifEnabledRule/now オプションを使用して再起動せずに有効にできるルール クラスを示します。
- [Rule classes required]\(ルール クラスが必要\) 列は、指定されたルール クラスを使用するためにどのルール クラスも有効にする必要があることを示します。 /dif コマンドにはルール クラス 36 (DIF モード) が自動的に含まれますが、/ruleclasses と /rc には含まれていないことに注意してください。
-
(**)でマークされたルール クラスは、個々のルールの無効化をサポートします。 -
(***)でマークされたルール クラスは既定でログ モードであり、違反時に /onecheck オプションをクラッシュさせる必要があります。
| 価値 | ルール | /今 | ルール クラスが必要 |
|---|---|---|---|
| 3 | ランダム化された低リソース シミュレーション | no | none |
| 10 | 保留中の I/O 要求を強制する | no | 5 |
| 11 | IRP のログ記録 | no | 5 |
| 14 | スタックの不変 MDL チェック | no | 5 |
| 15 | ドライバーの不変 MDL チェック | no | 5 |
| 16 | Power Framework の遅延ファジー | no | none |
| 17 | ポート/ミニポート インターフェイス チェック | no | none |
| 19 | 体系的な低リソースのシミュレーション | yes | 36 |
| 20 | DDI コンプライアンス チェック - 追加 | yes | none |
| 22 | NDIS/WIFI 検証 (**) |
no | none |
| 二十四 | カーネル同期遅延ファジー テスト | no | none |
| 二十五 | VM スイッチ検証 | no | none |
| 26 | コード整合性チェック | no | none |
| 33 | ドライバーの分離チェック (***) |
no | 36 |
| 36 | DIF モード | yes | none |
/logLogFileName [/interval|Seconds] LogFileName という名前のログ ファイルを作成します。 ドライバー検証ツールは、このファイルに統計を定期的に書き込みます。 詳細については、「 ログ ファイルの作成」を参照してください。
コマンド ラインで 検証ツール /log コマンドを入力した場合、コマンド プロンプトは返されません。 ログ ファイルを閉じてプロンプトを返すには、Ctrl + C キーを使用します。 再起動後、ログを作成するには、 verifier /log コマンドをもう一度送信する必要があります。
| Option | Description |
|---|---|
| /interval 秒 | ログ ファイルの更新間隔を指定します。 既定値は 30 秒です。 |
/rules 無効にできるルールのオプション オプション (詳細)。
| Option | Description |
|---|---|
クエリ |
制御可能なルールの現在の状態を表示します。 |
reset |
は、すべてのルールを既定の状態にリセットします。 |
既定のID |
ルール ID を 既定の状態に設定します。 サポートされているルールの場合、ルール ID は バグ チェック 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) パラメーター 1 の値です。 |
ID を無効にする |
指定したルール ID を無効にします。 サポートされているルールの場合、ルール ID は バグ チェック 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) パラメーター 1 の値です。 |
/標準 次の起動後に、"標準" または既定のドライバー検証ツール オプションをアクティブにします。 標準オプションは 、特殊なプール、 IRQL チェックの強制、 プールの追跡、 I/O 検証、 デッドロック検出、 DMA 検証です。 WDF 検証標準オプションには、セキュリティ チェック、その他のチェック、DDI コンプライアンス チェックも含まれます。
注
1803 以降の Windows 10 バージョンでは、 /flags 0x209BB を使用すると、WDF 検証が自動的に有効にされなくなります。 /standard 構文を使用して、WDF 検証を含む標準オプションを有効にします。
/停止 検証を停止するために、'/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 ログ
詳細については、「 揮発性設定の使用」を参照してください。
| Option | Description |
|---|---|
/adddriverVolatileDriverList |
指定したドライバーを揮発性の設定に追加します。 複数のドライバーを指定するには、名前のリストをスペースで区切ります。 ワイルドカード値 (n.sysなど) はサポートされていません。 詳細については、「 揮発性設定の使用 」を参照してください。 |
/removedriverVolatileDriverList |
指定したドライバーを揮発性の設定から削除します。 複数のドライバーを指定するには、名前のリストをスペースで区切ります。 ワイルドカード値 (n.sysなど) はサポートされていません。 詳細については、「 揮発性設定の使用 」を参照してください。 |
/リセット すべてのドライバー検証ツールの設定をクリアします。 次の起動後、ドライバーは検証されません。
/querysettings アクティブ化されるオプションと、次の起動後に検証されるドライバーの概要が表示されます。 表示には、 /volatile パラメーターを使用して追加されたドライバーとオプションは含まれません。 これらの設定を表示する他の方法については、「ドライバーの検証ツールの設定の表示」をご覧ください。
/クエリ ドライバー検証ツールの現在のアクティビティの概要を表示します。 表示の Level フィールドは、 /volatile パラメーターで設定されたオプションの 16 進値です。 各統計情報の説明については、 グローバル カウンター の 監視と個々のカウンターの監視 を参照してください。
/domainTypes **** Options 検証ツール拡張機能の設定を制御します。 次の検証ツール拡張機能の種類がサポートされています。
| 種類 | Description |
|---|---|
Wdm |
WDM ドライバーの検証ツール拡張機能を有効にします。 |
Ndis |
ネットワーク ドライバーの検証ツール拡張機能を有効にします。 |
Ks |
カーネル モード ストリーミング ドライバーの検証ツール拡張機能を有効にします。 |
オーディオ |
オーディオ ドライバーの検証ツール拡張機能を有効にします。 |
次の拡張機能オプションがサポートされています。
| [オプション] | Description |
|---|---|
rules.default |
選択した検証ツール拡張機能の既定の検証規則を有効にします。 |
rules.all |
選択した検証ツール拡張機能のすべての検証規則を有効にします。 |
/ログ 選択した検証ツール拡張機能によって検出された違反ルールのログ記録を有効にします。
/livedump 選択した検証ツール拡張機能によって検出された規則に違反した場合に、ライブ メモリ ダンプ収集を有効にします。
/? コマンド ライン ヘルプを表示します。
これらのコマンドの使用方法の詳細については、「 ドライバー検証ツールの制御とドライバー検証ツール の 監視」を参照してください。
/ヘルプ コマンド ライン ヘルプを表示します。
これらのコマンドの使用方法の詳細については、「 ドライバー検証ツールの制御とドライバー検証ツール の 監視」を参照してください。
リターン コード
ドライバー検証ツールの実行後に、次の値が返されます。
0: EXIT_CODE_SUCCESS
1: EXIT_CODE_ERROR
2: EXIT_CODE_REBOOT_NEEDED