Поделиться через


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

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

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

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 /?

Параметры

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

/all Directs Driver Verifier, чтобы проверить все установленные драйверы после следующей загрузки.

/bc <number_of_reboots> Задает количество перезагрузки, для которых должна быть активна проверка.

Этот параметр автоматически задает режим загрузки ResetOnUnusualShutdown.

Режим /bootmode определяет, включены ли параметры средства проверки драйверов после перезагрузки. Чтобы задать или изменить этот параметр, необходимо перезагрузить компьютер.

Bootmode Description

упорный

Убедитесь, что параметры средства проверки драйверов сохраняются (остаются в силе) во многих перезагрузках. Этот параметр принимается по умолчанию.

resetonbootfail

Отключает средство проверки драйверов для последующих перезагрузок, если система не смогла запуститься.

oneboot

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

resetonunusualshutdown

(Представлено в Windows 10, сборка 1709) Средство проверки драйверов будет сохраняться до тех пор, пока не произойдет необычное завершение работы. Его аббревиатура , "rous", можно использовать.

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

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

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

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

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

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

Подпараметр Description

Вероятность

Указывает вероятность того, что средство проверки драйверов завершится сбоем заданного выделения. Введите число (в десятичном или шестнадцатеричном формате), чтобы представить число шансов в 10 000, что средство проверки драйверов завершится сбоем выделения. Значение по умолчанию, 600, означает 600/10000 или 6 %.

Теги пула

Ограничивает выделение, которое средство проверки драйверов может не выделять с помощью указанных тегов пула. Можно использовать подстановочный знак (*) для представления нескольких тегов пула. Чтобы вывести список нескольких тегов пула, разделите теги пробелами. По умолчанию все выделения могут завершиться ошибкой.

Приложения

Ограничивает выделение, которое средство проверки драйверов может не выделять для указанной программы. Введите имя исполняемого файла. Чтобы перечислить программы, разделите имена программ пробелами. По умолчанию все выделения могут завершиться ошибкой.

DelayMins

Указывает количество минут после загрузки, в течение которого средство проверки драйверов намеренно не завершает выделение. Эта задержка позволяет драйверам загружать и стабилизировать систему до начала теста. Введите число (в десятичном или шестнадцатеричном). Значение по умолчанию — 7 (минуты).

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

OPTION Описание

enableboottime

Включает внедрение ошибок во время перезагрузки компьютера.

disableboottime

Отключает внедрение ошибок при перезагрузке компьютера (это параметр по умолчанию).

recordboottime

Включает внедрение ошибок в режиме при перезагрузке компьютера.

resetboottime

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

enableruntime

Динамически включает внедрение ошибок.

disableruntime

Динамически отключает внедрение ошибок.

recordruntime

Динамически включает внедрение ошибок в режиме if .

resetruntime

Динамически отключает внедрение ошибок и очищает ранее неисправный список стека.

статистика запросов

Отображает текущую статистику внедрения ошибок.

incrementcounter

Увеличивает счетчик тестовой передачи, используемый для идентификации при внедрении сбоя.

getstackid COUNTER

Извлекает указанный идентификатор внедренного стека.

excludestack STACKID

Исключает стек из внедрения ошибок.

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

Десятичное число Шестнадцатеричное Стандартный параметр Вариант

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) (не рекомендуется в 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 Authentication.

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

Параметр /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 Специальный пул 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 ничего
10 Принудительное ожидание запросов ввода-вывода no 5
11 Ведение журнала IRP no 5
14 Инвариантная проверка MDL для стека no 5
15 Инвариантная проверка MDL для драйвера no 5
16 Задержка задержки Power Framework no ничего
17 Проверка интерфейса порта или минипорта no ничего
19 Систематическое моделирование низких ресурсов yes 36
20 Проверка соответствия DDI — дополнительная yes ничего
22 Проверка NDIS/WIFI (**) no ничего
24 Задержка задержки синхронизации ядра no ничего
25 Проверка коммутатора виртуальной машины no ничего
26 Проверки целостности кода no ничего
33 Проверки изоляции драйверов (***) no 36
36 Режим DIF yes ничего

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

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

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

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

Вариант Описание

query

Показывает текущее состояние управляемых правил.

reset;

сбрасывает все правила в состояние по умолчанию.

Идентификатор по умолчанию

Задает идентификатор правила в его состоянии по умолчанию. Для поддерживаемых правил идентификатор правила — это значение параметра check 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) 1.

Отключить идентификатор

Отключает указанный идентификатор правила. Для поддерживаемых правил идентификатор правила — это значение параметра check 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION) 1.

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

Примечание.

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

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

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

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

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

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

Вариант Описание

/adddriver VolatileDriverList

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

/removedriver VolatileDriverList

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

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

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

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

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

Типы Description

wdm

Включает расширение средства проверки для драйверов WDM.

ndis

Включает расширение средства проверки для сетевых драйверов.

ks

Включает расширение средства проверки для драйверов потоковой передачи в режиме ядра.

audio

Включает расширение средства проверки для звуковых драйверов.

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

Параметры 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