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

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

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

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

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

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

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

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

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

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

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

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

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

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

Параметры /flags активируют указанные параметры после следующей перезагрузки. Это число можно ввести в десятичном или шестнадцатеричном формате (с префиксом 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 (начиная с 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)		Проверка коммутатора виртуальной машины (начиная с Windows 8.1)
33554432	0x2000000 (бит 25)		Проверки целостности кода (начиная с Windows 10)

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

/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 (дополнительная)
двадцать два	Проверка NDIS/WIFI (**)
двадцать четыре	Фаззинг задержек синхронизации ядра
двадцать пять	Проверка коммутатора виртуальной машины
26	Проверки целостности кода
33	Проверки изоляции драйверов (***, !)
36	Режим DIF

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

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

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

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

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

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

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

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

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

Ценность	Правило	/Нво	Обязательные классы правил
3	Случайное моделирование низких ресурсов	no	none
10	Принудительное ожидание запросов ввода-вывода	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
двадцать два	Проверка NDIS/WIFI (**)	no	none
двадцать четыре	Фаззинг задержек синхронизации ядра	no	none
двадцать пять	Проверка коммутатора виртуальной машины	no	none
26	Проверки целостности кода	no	none
33	Проверки изоляции драйверов (***)	no	36
36	Режим DIF	yes	none

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

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

Вариант	Description
/interval Секунды	Указывает интервал между обновлениями файлов журнала. Значение по умолчанию — 30 секунд.

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

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

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

Замечание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дополнительные сведения об использовании этих команд см. в разделе Controling Driver Verifier and Monitoring Driver Verifier.

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

Дополнительные сведения об использовании этих команд см. в разделе Controling Driver Verifier and Monitoring Driver Verifier.

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

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

0: EXIT_CODE_SUCCESS

1: EXIT_CODE_ERROR

2: EXIT_CODE_REBOOT_NEEDED