Синтаксис команды средства проверки драйверов

Следующий синтаксис используется при запуске программы проверки в окне командной строки.

В одной строке можно ввести несколько параметров. Пример:

verifier /flags 7 /driver beep.sys disksdd.sys

Синтаксис Windows 11

Параметр /volatile можно использовать с некоторыми параметрами средства проверки драйверов /flags . Дополнительные сведения см. в разделе Использование переменных параметров.

Примечание

Параметр /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. Дополнительные сведения см. в разделе Использование переменных параметров.

  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 или с параметром /disk. Дополнительные сведения см. в разделе Использование переменных параметров.

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 определяет, включены ли параметры средства проверки драйверов после перезагрузки. Чтобы задать или изменить этот параметр, необходимо перезагрузить компьютер.

Загрузочный режим	Описание
Постоянные	Гарантирует, что параметры средства проверки драйверов сохраняются (остаются в силе) во время многих перезагрузок. Это параметр по умолчанию.
resetonbootfail	Отключает средство проверки драйверов для последующих перезагрузок, если не удалось запустить систему.
oneboot	Включает параметры средства проверки драйверов только при следующем запуске компьютера. Средство проверки драйверов отключено для последующих перезагрузок.
resetonunusualshutdown	(Появилось в Windows 10 сборке 1709) Средство проверки драйверов будет сохраняться до тех пор, пока не произойдет необычное завершение работы. Можно использовать его аббревиатура "rous".

/difDifEnabledRule Включить проверку с помощью правила с поддержкой DIF. Проверка вступит в силу при следующей перезагрузке системы. Добавлено в Windows 11.

/difDifEnabledRule/now Немедленно включите проверку с помощью правила с поддержкой DIF. Включает классы правил немедленно без необходимости перезагрузки. Этот параметр действителен только в том случае, если классы правил уже не запущены. Сведения о классах правил, способных к немедленной активации, см. в описании классов правил Windows 11.

/driverDriverList Указывает один или несколько драйверов, которые будут проверены. DriverList — это список драйверов по двоичному имени, например Driver.sys. Используйте пробел для разделения каждого имени драйвера. Подстановочные знаки, такие как n*.sys, не поддерживаются.

/driver.excludeDriverList Указывает один или несколько драйверов, которые будут исключены из проверки. Этот параметр применим, только если для проверки выбраны все драйверы. DriverList — это список драйверов по двоичному имени, например Driver.sys. Используйте пробел для разделения каждого имени драйвера. Подстановочные знаки, такие как n*.sys, не поддерживаются.

/Ошибки Включает функцию имитации низких ресурсов в средстве проверки драйверов. Вместо 0x4 /flags можно использовать /faults. Однако вы не можете использовать /flags 0x4 с вложенными параметрами /faults .

Для настройки имитации с низкими ресурсами можно использовать следующие подпараметры параметра /faults .

Подпараметр	Описание
Вероятность	Указывает вероятность того, что средство проверки драйверов не сможет выполнить заданное выделение. Введите число (десятичное или шестнадцатеричное), чтобы представить количество шансов в 10 000, что средство проверки драйверов не сможет выделить. Значение по умолчанию 600 означает 600/10000 или 6 %.
Теги пула	Ограничивает выделения, которые средство проверки драйверов может не выполнять с помощью указанных тегов пула. Для представления нескольких тегов пула можно использовать подстановочный знак (*). Чтобы получить список нескольких тегов пула, разделите теги пробелами. По умолчанию все выделения могут завершиться ошибкой.
Приложения	Ограничивает выделения, которые средство проверки драйверов может не выделять для указанной программы. Введите имя исполняемого файла. Чтобы получить список программ, разделите имена программ пробелами. По умолчанию все выделения могут завершиться ошибкой.
DelayMins	Указывает время в минутах после загрузки, в течение которого средство проверки драйверов не намеренно завершает выделение. Эта задержка позволяет драйверам загружаться и стабилизировать систему перед началом тестирования. Введите число (в десятичном или шестнадцатеричном формате). Значение по умолчанию — 7 (мин).

/faultssystematic Задает параметры для имитации систематического снижения ресурсов. Используйте флаг 0x40000 , чтобы выбрать вариант Систематическое моделирование низких ресурсов.

OPTION	Описание
enableboottime	Включает внедрение ошибок при перезагрузке компьютера.
disableboottime	Отключает внедрение ошибок при перезагрузке компьютера (это параметр по умолчанию).
recordboottime	Включает внедрение ошибок в режиме "что если" при перезагрузке компьютера.
resetboottime	Отключает внедрение ошибок при перезагрузке компьютера и очищает список исключений стека.
enableruntime	Динамически включает внедрение ошибок.
disableruntime	Динамически отключает внедрение ошибок.
recordruntime	Динамически включает внедрение ошибок в режиме "что если ".
resetruntime	Динамически отключает внедрение ошибок и очищает список ранее неисправных стеков.
querystatistics	Отображает текущую статистику внедрения ошибок.
incrementcounter	Увеличивает значение счетчика тестового прохода, используемого для определения момента внедрения ошибки.
getstackid COUNTER	Извлекает указанный идентификатор внедренного стека.
excludestack STACKID	Исключает стек из внедрения ошибок.

/flagsOptions Активирует указанные параметры после следующей перезагрузки. Это число можно ввести в десятичном или шестнадцатеричном формате (с префиксом 0x ). Допускается любое сочетание следующих значений.

Decimal	Шестнадцатеричный	Стандартный параметр	Параметр
1	0x1 (бит 0)	X	Специальный пул
2	0x2 (бит 1)	X	Принудительная проверка IRQL
4	0x4 (бит 2)		Моделирование нехватки ресурсов
8	0x8 (бит 3)	X	Отслеживание пула
16	0x10 (бит 4)	X	Проверка ввода-вывода
32	0x20 (бит 5)	X	Обнаружение взаимоблокировки
64	0x40 (бит 6)		Расширенная проверка ввода-вывода Этот параметр автоматически активируется при выборе проверки ввода-вывода.
128	0x80 (бит 7)	X	Проверка DMA
256	0x100 (бит 8)	X	Проверки безопасности
512	0x200 (бит 9)		Принудительное выполнение ожидающих запросов ввода-вывода
1024	0x400 (бит 10)		Ведение журнала IRP
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)		Проверка переключения виртуальной машины (начиная с Windows 8.1)
33554432	0x2000000 (бит 25)		Проверки целостности кода (начиная с Windows 10)

Этот метод нельзя использовать для активации параметров проверки Storport. Дополнительные сведения см. в разделе Проверка Storport.

/flagsVolatileOptions Указывает параметры средства проверки драйверов, которые изменяются немедленно без перезагрузки.

Параметр /volatile можно использовать со всеми значениями /flags .)

Введите число в десятичном или шестнадцатеричном формате (с префиксом 0x ).

Допускается любое сочетание следующих значений.

Шестнадцатеричный	Параметр
0x00000004 (бит 2)	Моделирование случайных низких ресурсов
0x00000020 (бит 5)	Обнаружение взаимоблокировки
0x00000080 (бит 7)	Проверка DMA
0x00000200 (бит 9)	Принудительное выполнение ожидающих запросов ввода-вывода
0x00000400 (бит 10)	Ведение журнала IRP

/ruleclasses или /rc<ruleclass_1><ruleclass_2> ... <>ruleclass_k

Параметр ruleclasses доступен начиная с Windows версии 1803.

Параметр ruleclasses охватывает больший набор классов проверки, чем указанный выше параметр /flags . Хотя параметр /flags ограничен 32-разрядным растровым выражением, этот параметр может включать более 32 классов проверки. Каждое положительное десятичное целое число представляет класс проверки. Несколько классов можно выразить, разделив каждый идентификатор класса пробелом. Доступны следующие идентификаторы классов правил.

Стандартные классы правил

Значение	Правило
1	Специальный пул
2	Принудительная проверка IRQL
4	Отслеживание пула
5	Проверка ввода-вывода
6	Обнаружение взаимоблокировки
8	Проверка DMA
9	Проверки безопасности.
12	Прочие проверки
18	Проверка соответствия DDI
34	Проверка WDF
37	Проверка фильтра файловой системы (5)

Дополнительные классы правил

Эти классы правил предназначены для тестирования определенных сценариев. Классы правил, помеченные параметром (*) , требуют проверки ввода-вывода (5) и автоматически включают ее. Классы правил, помеченные с (**) поддержкой отключения отдельных правил. Классы правил, помеченные как (***) , по умолчанию находятся в режиме ведения журнала и требуют /onecheck , чтобы аварийно завершить работу при нарушении.

Флаги, помеченные параметром (!) , требуют включения режима DIF (класс правил 36).

Значение	Правило
3	Моделирование случайных низких ресурсов
10	Принудительное выполнение ожидающих запросов ввода-вывода (*)
11	Ведение журнала IRP (*)
14	Инвариантная проверка MDL для стека (*)
15	Инвариантная проверка MDL для драйвера (*)
16	Нечеткое выполнение задержки Power Framework
17	Проверка интерфейса порта или мини-порта
19	Систематическое моделирование нехватки ресурсов
20	Проверка соответствия DDI (дополнительная)
22	Проверка NDIS/WIFI (**)
24	Нечеткое выполнение задержки синхронизации ядра
25	Проверка коммутатора виртуальной машины
26	Проверки целостности кода
33	Проверки изоляции драйверов (***, !)
36	Режим DIF

Классы правил Windows 11

Начиная с Windows 11 доступны следующие стандартные классы правил. Все эти классы правил включены при использовании параметра /standard .

Столбец /now указывает, какие классы правил можно включить без перезагрузки с помощью параметра /dif DifEnabledRule/now .

Стандартные классы правил

Значение	Правило	/Нво
1	Специальный пул	да
2	Принудительная проверка IRQL	да
4	Отслеживание пула	да
5	Проверка ввода-вывода	да
6	Обнаружение взаимоблокировки	нет
8	Проверка DMA	нет
9	Проверки безопасности.	да
12	Прочие проверки	да
18	Проверка соответствия DDI	да
34	Проверка WDF	нет
37	Проверка фильтра файловой системы	нет

Обратите внимание, что класс правил 37 (проверка фильтра файловой системы) требует, чтобы также был включен класс правила 5 (проверка ввода-вывода). Дополнительные сведения об этом классе правил см. в разделе Проверка фильтра файловой системы .

Дополнительные классы правил

Доступны следующие дополнительные классы правил.

• Столбец /now указывает, какие классы правил можно включить без перезагрузки с помощью параметра /dif DifEnabledRule/now .
• В столбце Обязательные классы правил указано, какие классы правил также должны быть включены для использования данного класса правила. Обратите внимание, что команда /dif автоматически включает класс правил 36 (режим DIF), но /ruleclasses и /rc — нет.
• Классы правил, помеченные как (**) поддержка отключения отдельных правил.
• Классы правил, помеченные как (***) , по умолчанию находятся в режиме ведения журнала и требуют, чтобы параметр /onecheck аварийно завершалось нарушением.

Значение	Правило	/Нво	Обязательные классы правил
3	Симуляция случайных низких ресурсов	нет	нет
10	Принудительное выполнение ожидающих запросов ввода-вывода	нет	5
11	Ведение журнала IRP	нет	5
14	Инвариантная проверка MDL для стека	нет	5
15	Инвариантная проверка MDL для драйвера	нет	5
16	Нечеткое выполнение задержки Power Framework	нет	нет
17	Проверка интерфейса порта или минипорта	нет	нет
19	Систематическое моделирование нехватки ресурсов	да	36
20	Проверка соответствия DDI — дополнительная	да	нет
22	Проверка NDIS/WIFI (**)	нет	нет
24	Нечеткое выполнение задержки синхронизации ядра	нет	нет
25	Проверка коммутатора виртуальной машины	нет	нет
26	Проверки целостности кода	нет	нет
33	Проверки изоляции драйвера (***)	нет	36
36	Режим DIF	да	нет

/logLogFileName [/interval|Seconds] Создает файл журнала с именем LogFileName. Средство проверки драйверов периодически записывает статистику в этот файл. Дополнительные сведения см. в разделе Создание файлов журнала.

Если в командной строке введена команда средства проверки /log , командная строка не возвращается. Чтобы закрыть файл журнала и вернуть запрос, используйте клавиши CTRL+C. После перезагрузки, чтобы создать журнал, необходимо отправить команду проверки /log еще раз.

Параметр	Описание
/interval Seconds	Указывает интервал между обновлениями файла журнала. По умолчанию это 30 секунд.

Параметр /rules Параметры для правил, которые можно отключить (расширенные).

Параметр	Описание
запрос	Отображает текущее состояние управляемых правил.
reset;	сбрасывает все правила в состояние по умолчанию.
идентификаторпо умолчанию	Устанавливает идентификатор правила в состояние по умолчанию. Для поддерживаемых правил идентификатором правила является значение параметра 1 0xC4 проверки ошибок (DRIVER_VERIFIER_DETECTED_VIOLATION).
отключитьидентификатор	Отключает указанный идентификатор правила. Для поддерживаемых правил идентификатором правила является значение параметра 1 0xC4 проверки ошибок (DRIVER_VERIFIER_DETECTED_VIOLATION).

/Стандартный Активирует параметры "стандартного" или стандартного средства проверки драйверов после следующей загрузки. Стандартные параметры: специальный пул, принудительная проверка IRQL, отслеживание пула, проверка ввода-вывода, обнаружение взаимоблокировки, проверка DMA. и проверка WDF . Стандартные параметры также включают проверки безопасности, прочие проверки и проверку соответствия DDI.

Примечание

Начиная с Windows 10 версий после 1803, использование /flags 0x209BB больше не будет автоматически включать проверку WDF. Используйте синтаксис /standard для включения стандартных параметров с включенной проверкой WDF.

/Остановить Отключает классы правил, включенные через "/dif /now", чтобы остановить проверку.

/volatile /flags Изменяет параметры без перезагрузки компьютера. Переменные параметры вступают в силу немедленно. Параметр /volatile можно использовать вместе с параметром /flags , чтобы включить и отключить некоторые параметры без перезагрузки. Вы также можете использовать параметр /volatile с параметрами /adddriver и /removedriver , чтобы запустить или остановить проверку драйвера без перезагрузки, даже если средство проверки драйверов еще не запущено.

Указывает параметры средства проверки драйверов, которые изменяются немедленно без перезагрузки. С volatile можно использовать только следующие флаги:

0x00000004 (бит 2) — 0x00000020 симуляция случайных низких ресурсов (бит 5) — обнаружение взаимоблокировки 0x00000080 (бит 7) — проверка DMA 0x00000200 (бит 9) — принудительное выполнение ожидающих запросов ввода-вывода 0x00000400 (бит 10) — ведение журнала IRP

Дополнительные сведения см. в разделе Использование переменных параметров.

Параметр	Описание
/adddriverVolatileDriverList	Добавляет указанные драйверы в переменные параметры. Чтобы указать несколько драйверов, выведите их имена, разделенные пробелами. Подстановочные знаки, такие как n.sys, не поддерживаются. Дополнительные сведения см. в статье Использование переменных параметров .
/removedriverVolatileDriverList	Удаляет указанные драйверы из переменных параметров. Чтобы указать несколько драйверов, выведите их имена, разделенные пробелами. Подстановочные знаки, такие как n.sys, не поддерживаются. Дополнительные сведения см. в статье Использование переменных параметров .

/Сброс Удаляет все параметры средства проверки драйверов. После следующей загрузки драйверы не проверяются.

/querysettings Отображает сводку параметров, которые будут активированы, и драйверов, которые будут проверены после следующей загрузки. Отображение не включает драйверы и параметры, добавленные с помощью параметра /volatile . Другие способы просмотра этих параметров см. в разделе Просмотр параметров средства проверки драйверов.

/Запроса Отображает сводку текущих действий средства проверки драйверов. Поле Level на экране представляет собой шестнадцатеричное значение параметров, заданных с параметром /volatile . Сведения о каждой статистике см. в разделе Мониторинг глобальных счетчиков и Мониторинг отдельных счетчиков .

/domainTypes **** Options Управляет параметрами расширения средства проверки. Поддерживаются следующие типы расширений средства проверки.

Типы	Описание
Wdm	Включает расширение средства проверки для драйверов WDM.
Ndis	Включает расширение средства проверки для сетевых драйверов.
Ks	Включает расширение средства проверки для драйверов потоковой передачи в режиме ядра.
Аудио	Включает расширение средства проверки для аудиодрайверов.

Поддерживаются следующие параметры расширения.

Параметры	Описание
rules.default	Включает правила проверки по умолчанию для выбранного расширения средства проверки.
rules.all	Включает все правила проверки для выбранного расширения средства проверки.

/Ведение журнала Включает ведение журнала для нарушенных правил, обнаруженных выбранными расширениями средства проверки.

/livedump Включает сбор динамического дампа памяти для нарушений правил, обнаруженных выбранными расширениями средства проверки.

/? Отображает справку командной строки.

Дополнительные сведения об использовании этих команд см. в разделах Управление проверкой драйверов и Мониторинг средства проверки драйверов.

/Справка Отображает справку командной строки.

Дополнительные сведения об использовании этих команд см. в разделах Управление проверкой драйверов и Мониторинг средства проверки драйверов.

Коды возврата

Следующие значения возвращаются после запуска средства проверки драйверов.

0: EXIT_CODE_SUCCESS

1: EXIT_CODE_ERROR

2: EXIT_CODE_REBOOT_NEEDED