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

verifier

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

Внимание

Для использования средства проверки драйверов необходимо находиться в группе "Администраторы". Запуск средства проверки драйверов может привести к сбою компьютера, поэтому эту программу следует запускать только на компьютерах, используемых для тестирования и отладки.

Синтаксис

verifier /standard /all
verifier /standard /driver NAME [NAME ...]
verifier /flags <options> /all
verifier /flags <options> /driver NAME [NAME ...]
verifier /rules [OPTION ...]
verifier /query
verifier /querysettings
verifier /bootmode [persistent | disableafterfail | 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

Параметры

Параметр Описание
/all Направляет служебную программу проверки драйверов, чтобы проверить все установленные драйверы после следующей загрузки.
/bootmode [persistent \| disableafterfail \| oneboot \| resetonunusualshutdown] Определяет, включены ли параметры служебной программы проверки драйверов после перезагрузки. Чтобы задать или изменить этот параметр, необходимо перезагрузить компьютер. Доступны следующие режимы:
  • постоянный — гарантирует, что параметры средства проверки драйверов сохраняются (остаются в силе) на протяжении многих перезагрузок. Этот параметр принимается по умолчанию.
  • disableafterfail — если Windows не удается запустить, этот параметр отключает служебную программу проверки драйверов для последующих перезагрузок.
  • oneboot — включает только параметры средства проверки драйверов при следующем запуске компьютера. Программа проверки драйверов отключена для последующих перезагрузок.
  • resetonunusualshutdown — служебная программа проверки драйверов будет сохраняться до возникновения необычного завершения работы. Его аббревиатура , "rous", можно использовать.
/водитель <driverlist> Указывает один или несколько драйверов, которые будут проверены. Параметр driverlist — это список драйверов по двоичному имени, например driver.sys. Используйте пробел для разделения каждого имени драйвера. Подстановочные знаки, например n*.sys, не поддерживаются.
/driver.exclude <driverlist> Указывает один или несколько драйверов, которые будут исключены из проверки. Этот параметр применим только в том случае, если для проверки выбраны все драйверы. Параметр driverlist — это список драйверов по двоичному имени, например driver.sys. Используйте пробел для разделения каждого имени драйвера. Подстановочные знаки, например n*.sys, не поддерживаются.
/Ошибки Включает функцию моделирования низких ресурсов в служебной программе проверки драйверов. Вместо /flags 0x4нее можно использовать /faults. Однако нельзя использовать /flags 0x4 с вложенными значениями /faults . Для настройки моделирования низких ресурсов можно использовать следующие подпараметры параметра /faults:
  • Вероятность — указывает вероятность того, что служебная программа проверки драйверов завершится сбоем заданного выделения. Введите число (в десятичном или шестнадцатеричном формате), чтобы представить число шансов в 10 000, что программа проверки драйверов завершится сбоем выделения. Значение по умолчанию, 600, означает 600/10000 или 6 %.
  • Теги пула . Ограничивает выделение, которое программа проверки драйверов может не выделить с указанными тегами пула. Для представления нескольких тегов пула можно использовать подстановочный знак (*). Чтобы вывести список нескольких тегов пула, разделите теги пробелами. По умолчанию все выделения могут завершиться ошибкой.
  • Приложения — ограничивает выделение, которое программа проверки драйверов может не выделять для указанной программы. Введите имя исполняемого файла. Чтобы перечислить программы, разделите имена программ пробелами. По умолчанию все выделения могут завершиться ошибкой.
  • DelayMins — указывает количество минут после загрузки, в течение которого служебная программа проверки драйверов не намеренно завершает выделение. Эта задержка позволяет драйверам загружать и стабилизировать систему до начала теста. Введите число (в десятичном или шестнадцатеричном). Значение по умолчанию — 7 (минуты).
/faultssystematic Задает параметры для имитации систематических низких ресурсов . Используйте флаг, 0x40000 чтобы выбрать параметр имитации систематических низких ресурсов . Имеются следующие варианты:
  • enableboottime — включает внедрение ошибок во время перезагрузки компьютера.
  • disableboottime — отключает внедрение ошибок при перезагрузке компьютера (это параметр по умолчанию).
  • recordboottime — включает внедрение ошибок в режиме если на компьютере перезагружается.
  • resetboottime — отключает внедрение ошибок во время перезагрузки компьютера и очищает список исключений стека.
  • enableruntime — динамически включает внедрение ошибок.
  • disableruntime — динамически отключает внедрение ошибок.
  • recordruntime — динамически включает внедрение ошибок в режиме if.
  • resetruntime — динамически отключает внедрение ошибок и очищает ранее неисправный список стека.
  • querystatistics — показывает текущую статистику внедрения ошибок.
  • incrementcounter — увеличивает счетчик тестовой передачи, используемый для идентификации при внедрении сбоя.
  • getstackid COUNTER — получает указанный идентификатор внедренного стека.
  • excludestack STACKID — исключает стек из внедрения ошибок.
/Флаги <options> Активирует указанные параметры после следующей перезагрузки. Это число можно ввести в десятичном или шестнадцатеричном формате (с префиксом 0x). Допускается любое сочетание следующих значений:
/Флаги <volatileoptions> Указывает параметры программы проверки драйверов, которые изменяются немедленно без перезагрузки. Это число можно ввести в десятичном или шестнадцатеричном формате (с префиксом 0x). Допускается любое сочетание следующих значений:
  • Значение: 1 или 0x1 (бит 0) — специальный пул
  • Значение: 2 или 0x2 (бит 1) — принудительной проверки IRQL
  • Значение: 4 или 0x4 (бит 2) — моделирование низких ресурсов
<probability> Число от 1 до 10 000, указывающее вероятность внедрения сбоя. Например, указание 100 означает вероятность внедрения сбоя 1% (100/10 000).

Если этот параметр не указан, используется вероятность по умолчанию 6 %.
<tags> Указывает теги пула, которые будут внедряться с ошибками, разделенными пробелами. Если этот параметр не указан, то любое выделение пула можно внедрить с ошибками.
<apps> Указывает имя файла изображения приложений, которые будут внедрены с ошибками, разделенными пробелами. Если этот параметр не указан, в любом приложении может произойти моделирование низких ресурсов.
<minutes> Положительное число, указывающее продолжительность периода после перезагрузки в минутах, в течение которых не будет выполняться внедрение ошибок. Если этот параметр не указан, используется длина по умолчанию 8 минут .
/iolevel <level> Указывает уровень проверки ввода-вывода. Значение [уровня] может быть равно 1. Включает проверку ввода-вывода уровня 1 (по умолчанию) или 2 . Включает проверку ввода-вывода уровня 1 и уровень 2 ввода-вывода. Если проверка ввода-вывода не включена (с помощью), /flags 0x10параметр /iolevel игнорируется.
/log <logfilename> [/intervalseconds] Создает файл журнала с помощью указанного имени. Служебная программа проверки драйверов периодически записывает статистику в этот файл в зависимости от интервала, который вы при необходимости задали. Интервал по умолчанию — 30 секунд.

Если команда проверки /log вводится в командной строке, командная строка не возвращается. Чтобы закрыть файл журнала и вернуть запрос, используйте клавиши CTRL+C . После перезагрузки для создания журнала необходимо снова отправить команду проверки /log .
/Правила <option> Параметры правил, которые можно отключить, в том числе:
  • запрос — отображает текущее состояние управляемых правил.
  • сброс — сбрасывает все правила в состояние по умолчанию.
  • Идентификатор по умолчанию — задает идентификатор правила в его состоянии по умолчанию. Для поддерживаемых правил идентификатор правила — значение 1 параметра Check 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION).
  • disable ID — отключает указанный идентификатор правила. Для поддерживаемых правил идентификатор правила — значение 1 параметра Check 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION).
/стандарт Активирует параметры проверки драйвера "стандартный" или по умолчанию после следующего перезапуска. Стандартными вариантами являются специальный пул, принудительное проверка IRQL, отслеживание пула, проверка ввода-вывода, обнаружение взаимоблокировки, проверка DMA, проверка безопасности, другие проверки соответствия и проверка соответствия DDI. Это равносильно /flags 0x209BB.

[! ПРИМЕЧАНИЕ] Начиная с Windows 10 версий после 1803, использование /flags 0x209BB больше не будет автоматически включать проверку WDF. Используйте синтаксис /standard для включения стандартных параметров с включенной проверкой WDF.
/volatile Изменяет параметры без перезагрузки компьютера. Переменные параметры вступают в силу немедленно.

Параметр /volatile можно использовать с параметром /flags, чтобы включить и отключить некоторые параметры без перезагрузки. Вы также можете использовать /volatile с параметрами /adddriver и /removedriver для запуска или остановки проверки драйвера без перезагрузки, даже если служебная программа проверки драйверов не запущена. Дополнительные сведения см. в разделе "Использование переменных параметров".
/adddriver <volatiledriverlist> Добавляет указанные драйверы из переменных параметров. Чтобы указать несколько драйверов, укажите их имена, разделенные пробелами. Подстановочные знаки, такие как n.sys, не поддерживаются.
/removedriver <volatiledriverlist> Удаляет указанные драйверы из переменных параметров. Чтобы указать несколько драйверов, укажите их имена, разделенные пробелами. Подстановочные знаки, такие как n.sys, не поддерживаются.
/reset Очищает все параметры программы проверки драйверов. После следующего перезапуска драйверы не будут проверены.
/querysettings Отображает сводку параметров, которые будут активированы и драйверы, которые будут проверены после следующей загрузки. Отображение не включает драйверы и параметры, добавленные с помощью параметра /volatile . Другие способы просмотра этих параметров см. в разделе "Просмотр параметров проверяющего драйвера".
/запрос Отображает сводку текущего действия программы проверки драйверов. Поле level в отображении — шестнадцатеричное значение параметров, заданных параметром /volatile. Сведения о каждой статистике см. в разделе "Мониторинг глобальных счетчиков" и "Мониторинг отдельных счетчиков".
/домен <types> <options> Управляет параметрами расширения проверяющего средства. Поддерживаются следующие типы расширений проверки:
  • wdm — включает расширение средства проверки для драйверов WDM.
  • ndis — включает расширение средства проверки для сетевых драйверов.
  • ks — включает расширение средства проверки для драйверов потоковой передачи в режиме ядра.
  • audio — включает расширение средства проверки для звуковых драйверов.
. Поддерживаются следующие параметры расширения:
  • rules.default — включает правила проверки по умолчанию для выбранного расширения средства проверки.
  • rules.all — включает все правила проверки для выбранного расширения проверяющего средства.
/лесозаготовка Включает ведение журнала для нарушенных правил, обнаруженных выбранными расширениями проверяющего средства.
/livedump Включает сбор динамических дампов памяти для нарушенных правил, обнаруженных выбранными расширениями проверяющего средства.
/? Отображает справку командной строки.

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

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

  • 0: EXIT_CODE_SUCCESS

  • 1: EXIT_CODE_ERROR

  • 2: EXIT_CODE_REBOOT_NEEDED

Замечания