????
Your IP : 216.73.216.152

Current Path : C:/Windows/System32/en-US/
Current File : C:/Windows/System32/en-US/verifier.exe.mui
MZ����@���	�!�L�!This program cannot be run in DOS mode.

$��<߱�R���R���R�U�����R�U�P���R�Rich��R�PEL�!�

��R@ 8�8.rdata�@@.rsrc� �@@��	1
T88��	1$��8.rdata8x.rdata$zzzdbg �.rsrc$01� X�.rsrc$02 �:c���TL#g����E�g\�GDB[��	1��(�@�X�p�����	�	�	�� ���!������MUI������s�S�3�Zx�D.��RF���c�"�����MUIen-US@ 9 d@ S �����`#����4@

Verifier Flags: 0x%1!08x!

T

Verifier Volatile Flags: 0x%1!08x!

4

  Standard Flags:



8

  Additional Flags:



4

  Internal Flags:



,

  Boot Mode:



$

  Rules:



,

  Extensions:



8

  Verified Drivers:



8

  Excluded Drivers:



8

  Advanced Options:



t

  Randomized Low Resources Simulation Parameters:



L

  Verifier Statistics Summary



D

  Driver Verification List

h

    MODULE: %1 (load: %2!d! / unload: %3!d!)

�

      Pool Allocation Statistics: ( NonPaged / Paged )



T

      Code Integrity Statistics:



,

Time Stamp: %1

4

  Volatile Flags:



4

  Added Drivers:



8

  Removed Drivers:



T

    [X] Indicates flag is enabled.

(    All Drivers

\    All rules are using default settings

h    All other rules are using default settings

4    Disabled: %1 (%2)

X    All rules are explicitly disabled.

    None

�    The requested operation is successful. Changes will not be effective until the system is rebooted.

    %1

     %1: %2

$    %1: %2!d!

,    %1: %2!I64d!

L    [%1] 0x%2!08x! Special pool.

X    [%1] 0x%2!08x! Force IRQL checking.

x    [%1] 0x%2!08x! Randomized low resources simulation.

L    [%1] 0x%2!08x! Pool tracking.

T    [%1] 0x%2!08x! I/O verification.

X    [%1] 0x%2!08x! Deadlock detection.

\    [%1] 0x%2!08x! Enhanced I/O checking.

L    [%1] 0x%2!08x! DMA checking.

P    [%1] 0x%2!08x! Security checks.

h    [%1] 0x%2!08x! Force pending I/O requests.

H    [%1] 0x%2!08x! IRP logging.

\    [%1] 0x%2!08x! Miscellaneous checks.

l    [%1] 0x%2!08x! Additional debug information.

t    [%1] 0x%2!08x! Invariant MDL checking for stack.

t    [%1] 0x%2!08x! Invariant MDL checking for driver.

l    [%1] 0x%2!08x! Power framework delay fuzzing.

t    [%1] 0x%2!08x! Port/miniport interface checking.

`    [%1] 0x%2!08x! DDI compliance checking.

x    [%1] 0x%2!08x! Systematic low resources simulation.

|    [%1] 0x%2!08x! DDI compliance checking (additional).

x    [%1] 0x%2!08x! Extended Verifier flags (internal).

`    [%1] 0x%2!08x! NDIS/WIFI verification.

P    [%1] 0x%2!08x! Driver logging.

|    [%1] 0x%2!08x! Kernel synchronization delay fuzzing.

`    [%1] 0x%2!08x! VM switch verification.

\    [%1] 0x%2!08x! Code integrity checks.

p    Raise IRQLs:                            %1!10d!

p    Acquire Spin Locks:                     %1!10d!

p    Synchronize Executions:                 %1!10d!

t    Trims:                                  %1!10d!



p    Pool Allocations Attempted:             %1!10d!

p    Pool Allocations Succeeded:             %1!10d!

p    Pool Allocations Succeeded SpecialPool: %1!10d!

p    Pool Allocations With No Tag:           %1!10d!

p    Pool Allocations Not Tracked:           %1!10d!

p    Pool Allocations Failed:                %1!10d!

p    Pool Allocations Failed Deliberately:   %1!10d!

x        Current Pool Allocations:  ( %1!8d! / %2!8d! )

x        Current Pool Bytes:        ( %1!8d! / %2!8d! )

x        Peak Pool Allocations:     ( %1!8d! / %2!8d! )

x        Peak Pool Bytes:           ( %1!8d! / %2!8d! )

d        Contiguous Memory Bytes:       %1!8d!

d        Peak Contiguous Memory Bytes:  %1!8d!

h        Execute Pool Type Count:       %1!10d!

h        Execute Page Protection Count: %1!10d!

h        Execute Page Mapping Count:    %1!10d!

h        Execute-Write Section Count:   %1!10d!

h        Section Alignment Failures:    %1!10d!

,

    Options: %1

<Rule 0x%1!08x! disabled.

`Rule 0x%1!08x! set to use default setting.

�

The system reboot is required for the changes to take effect.

@

No settings were changed.

�

The new settings are in effect until the system

is restarted or the settings are changed again.

l        IAT in Executable Section Count: %1!10d!

�

    Verifier settings will persist and be active through system upgrade.

8"StatusCode": 0x%1!08x!

8"CurrentlyEnabled": %1

4"RebootRequired": %1

,"IsVolatile": %1

@"DeploymentTag": 0x%1!08x!

P"RuleClasses": 0x%1!08x! 0x%2!08x!

$"Drivers": %1

0"FailedDrivers": %1

4"RemovedDrivers": %1

@"FailedRemovedDrivers": %1

H"XdvVerifierOptions": 0x%1!08x!

D"VerifierOptions": 0x%1!08x!

Yes

No

 "Drivers":

,"FailedDrivers":

,"RemovedDrivers":

8"FailedRemovedDrivers":

�An unsupported command line parameter was specified.

Run "verifier /?" for command line assistance.

�The specified command line parameter '/%1' is unexpected.

Run "verifier /?" for command line assistance.

The specified command line parameter '/%1' doesn't follow required format.

Run "verifier /?" for command line assistance.

�The specified command line parameter '/%1' does not support option '%2'.

Run "verifier /?" for command line assistance.

�The specified command line parameter '/%1' option values are not valid.

Run "verifier /?" for command line assistance.

The specified command line parameter '/%1' option '%2' doesn't follow required format.

Run "verifier /?" for command line assistance.

�The specified flags 0x%1!08x! are not supported.

Run "verifier /?" for command line assistance.

�The specified flags 0x%1!08x! are not supported in volatile mode.

Run "verifier /?" for command line assistance.

lFailed to start the verification for '%1' driver.

lFailed to stop the verification for '%1' driver.

lRule code 0x%1!08x! not mapped to existing rule.

LRule 0x%1!08x! already disabled.

dRule 0x%1!08x! already using default setting.

�The verifier registry settings contain invalid values.

Run "verifier /reset" to clean the registry settings.

`Failed to query verifier registry settings.

hThe current operation requires admin privilege.

`Failed to query volatile verifier settings.

\Failed to set volatile verifier settings.

�The current system environment supports only command line interface.

Run "verifier /?" for command line assistance.

�The maximum number of 10 selected Core Driver Verifier rules has been reached.

�Failed to obtain the list of currently loaded kernel modules.

`Failed to obtain the global memory status.

There are no remaining drivers to verify. Reduce the number of excluded drivers.

Run "verifier /?" for command line assistance.

�Failed to start the verification for '%1' driver with NSTATUS code 0x%2!08x!.

�Failed to stop the verification for '%1' driver with NSTATUS code 0x%2!08x!.

`?

Copyright (c) Microsoft Corporation. All rights reserved.



SYNTAX:



    verifier {/? | /help}

    verifier /standard /all

    verifier /standard /driver <name> [<name> ...]

    verifier {/ruleclasses | /rc} <options> [<ruleclass_1> <ruleclass_2> ...] /all

    verifier /flags <options> [<options> ...] /all

    verifier /flags <options> [<options> ...] /driver <name> [<name> ...]

    verifier /rules {query | reset | default <id> | disable <id>}

    verifier /query

    verifier /querysettings

    verifier /bootmode {persistent | resetonbootfail | oneboot | resetonunusualshutdown}

    verifier /persistthroughupgrade

    verifier /reset

    verifier /faults [probability [pool_tags [applications [delay_minutes]]]]

    verifier /faultssystematic [<options> ...]

    verifier /log <file_name> [/interval <seconds>]

    verifier /volatile /flags <options> [<options> ...]

    verifier /volatile /adddriver <name> [<name> ...]

    verifier /volatile /removedriver <name> [<name> ...]

    verifier /volatile /faults [probability [pool_tags [applications

                [delay_minutes]]]]

    verifier /domain {wdm | ndis | ks | audio} [rules.all | rules.default ]

                /driver ... [/logging | /livedump]

    verifier /logging

    verifier /livedump



PARAMETERS:



    /? or /help

        Displays this help message.



    /standard

        Specifies standard Driver Verifier flags.



    /all

        Specifies that all installed drivers will be verified after the next

        boot.



    /driver <name> [<name> ...]

        Specifies one or more drivers (image names) that will be verified.

        Wildcard values (e.g. n*.sys) are not supported.



    /driver.exclude <name> [<name> ...]

        Specifies one or more drivers (image names) that will be excluded

        from verification. This parameter is applicable only if all drivers

        are selected for verification. Wildcard values (e.g. n*.sys) are not

        supported.



    /flags <options> [<options> ...]

        Specifies one or more options that should be enabled for verification.

        Flags are applied to all drivers being checked by Driver Verifier. The

        provided options values must be either in decimal, hexadecimal ("0x"

        prefix), octal ("0o" prefix) or binary ("0b" prefix) format.



        Standard Flags:

          Standard Driver Verifier options can be specified using '/standard'.

          WDF verification is included in /standard but is not shown here.



          0x00000001 (bit  0) - Special pool

          0x00000002 (bit  1) - Force IRQL checking

          0x00000008 (bit  3) - Pool tracking

          0x00000010 (bit  4) - I/O verification

          0x00000020 (bit  5) - Deadlock detection

          0x00000080 (bit  7) - DMA checking

          0x00000100 (bit  8) - Security checks

          0x00000800 (bit 11) - Miscellaneous checks

          0x00020000 (bit 17) - DDI compliance checking



        Additional Flags:

          These flags are intended for specific scenario testing. Flags marked

          with (*) require I/O Verification (bit 4) that will be automatically

          enabled. Flags marked with (**) support disabling of individual

          rules.



          0x00000004 (bit  2) - Randomized low resources simulation

          0x00000200 (bit  9) - Force pending I/O requests (*)

          0x00000400 (bit 10) - IRP logging (*)

          0x00002000 (bit 13) - Invariant MDL checking for stack (*)

          0x00004000 (bit 14) - Invariant MDL checking for driver (*)

          0x00008000 (bit 15) - Power framework delay fuzzing

          0x00010000 (bit 16) - Port/miniport interface checking

          0x00040000 (bit 18) - Systematic low resources simulation

          0x00080000 (bit 19) - DDI compliance checking (additional)

          0x00200000 (bit 21) - NDIS/WIFI verification (**)

          0x00800000 (bit 23) - Kernel synchronization delay fuzzing

          0x01000000 (bit 24) - VM switch verification

          0x02000000 (bit 25) - Code integrity checks



    /ruleclasses or /rc [<ruleclass_1> <ruleclass_2> ... <ruleclass_k>]

        This parameter is larger set of '/flags' above. While '/flags' is

        limited to 32 bit bitmap expression, this can include more than 32

        verification classes. Each positive decimal integer represents a

        verification class. Multiple classes can be expressed by separating

        each class id with space character. Following rule classes IDs are

        available and leading 0's can be omitted.



        Standard Rule Classes:



                   1 - Special pool

                   2 - Force IRQL checking

                   4 - Pool tracking

                   5 - I/O verification

                   6 - Deadlock detection

                   8 - DMA checking

                   9 - Security checks

                  12 - Miscellaneous checks

                  18 - DDI compliance checking

                  34 - WDF Verification



        Additional Rule Classes:

          These rule classes are intended for specific scenario testing. Rule

          classes are marked with (*) require I/O Verification (5) that will

          be automatically enabled. Flags marked with (**) support disabling

          of individual rules.



                   3 - Randomized low resources simulation

                  10 - Force pending I/O requests (*)

                  11 - IRP logging (*)

                  14 - Invariant MDL checking for stack (*)

                  15 - Invariant MDL checking for driver (*)

                  16 - Power framework delay fuzzing

                  17 - Port/miniport interface checking

                  19 - Systematic low resources simulation

                  20 - DDI compliance checking (additional)

                  22 - NDIS/WIFI verification (**)

                  24 - Kernel synchronization delay fuzzing

                  25 - VM switch verification

                  26 - Code integrity checks



    /log.code_integrity

        This option suppresses Code Integrity violation breaks and collects

        only statistics for verified drivers. Statistics could be extracted

        via /log option or kernel debugger. This parameter is applicable only

        if Code Integrity checks are enabled.



    /rules {query | reset | default <id> | disable <id>}

        Specifies rules level control (advanced).



          query           Shows current status of controllable rules.

          reset           Resets all rules to their default state.

          default <id>    Sets rule ID to its default state.

          disable <id>    Disables specified rule ID.



    /query

        Display runtime Driver Verifier statistics and settings.



    /querysettings

        Displays a summary of the options and drivers that are currently

        enabled, or options and drivers that will be verified after the

        next boot. The display does not include drivers and options added

        using /volatile.



    /bootmode

        Specifies the Driver Verifier boot mode. This option requires system

        reboot to take effect.



          persistent        Ensures that Driver Verifier settings are

                            persistent across reboots. This is the default

                            value.

          resetonbootfail   Disables Driver Verifier for subsequent reboots

                            if the system failed to start.

          resetonunusualshutdown

                            Driver Verifier persists until unusual shutdown

                            happens. Its abbrevation, 'rous', can be used.

          oneboot           Enables Driver Verifier only for the next boot.



    /persistthroughupgrade

        Makes the Driver Verifier settings persist through upgrade. Driver

        Verifier will be active during system upgrade.



    /reset

        Clears Driver Verifier flags and driver settings. This option requires

        system reboot to take effect.

�%

    /faults [probability [pool_tags [applications [delay_minutes]]]]

        Enable the Randomized low resources simulation feature and optionally

        control parameters for the Randomized low resources simulation.



          Probability     Specifies the probability that Driver Verifier will

                          fail a given allocation. The value represents the

                          number of chances in 10,000 that Driver Verifier will

                          fail the allocation. The default value 600, means

                          600/10000 or 6%.

          Pool Tags:      Specifies a space separated list of the pool tags to

                          be injected with faults. By default, any pool

                          allocation can be injected with faults.

          Applications    Specifies a space separated list of image file names

                          (an executable) that will be injected with faults. By

                          default, any pool allocation can be injected with

                          faults.

          DelayMinutes    Specifies the number of minutes after booting during

                          which Driver Verifier does not intentionally fail any

                          allocations. This delay allows the drivers to load

                          and the system to stabilize before the test begins.

                          The default value is 8 minutes.



    /faultssystematic [<options> ...]

        Controls the Systematic low resources simulation parameters.



          enableboottime          Enables fault injections across reboots.

          disableboottime         Disables fault injections across reboots.

                                  This is the default value.

          recordboottime          Enables fault injections in 'what if' mode

                                  across reboots.

          resetboottime           Disables fault injections across reboots and

                                  clears the stack exclusion list.

          enableruntime           Dynamically enables fault injections.

          disableruntime          Dynamically disables fault injections.

          recordruntime           Dynamically enables fault injections in

                                  'what if' mode.

          resetruntime            Dynamically disables fault injections and

                                  clears the previously faulted stack list.

          querystatistics         Shows the current fault injection statistics.

          incrementcounter        Increments the test pass counter used to

                                  identify when a fault was injected.

          getstackid <counter>    Retrieves the indicated injected stack id.

          excludestack <stack_id> Excludes the stack from fault injection.



    /log <file_name> [/interval <seconds>]

        Creates a log file with the specified name and periodically writes the

        runtime statistics to this file. The interval between log file updates

        is controlled by the '/interval' parameter. The default value is 30

        seconds. Use CTRL+C to close the log and return.



    /volatile

        Changes Driver Verifier settings without rebooting the computer.

        Volatile settings take effect immediately and are in effect until the

        next system reboot.



    /volatile /adddriver <name> [<name> ...]

        Starts the verification for the specified driver or drivers.



    /volatile /removedriver <name> [<name> ...]

        Stops the verification for the specified driver or drivers.



    /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ...

        [/logging | /livedump]

        Controls the verifier extension settings. The following verifier

        extension types are supported:



          wdm               Enabled verifier extension for WDM drivers.

          ndis              Enabled verifier extension for networking drivers.

          ks                Enabled verifier extension for kernel mode

                            streaming drivers.

          audio             Enabled verifier extension for audio drivers.



        The following extension options are supported:



          rules.default     Enables default validation rules for the selected

                            verifier extension.

          rules.all         Enables all validation rules for the selected

                            verifier extension.



        /logging

          Enables logging for violated rules detected by the selected verifier

          extensions.



        /livedump

          Enables live memory dump collection for violated rules detected by

          the selected verifier extensions.

�4VS_VERSION_INFO��
|O
|O?StringFileInfo�040904B0LCompanyNameMicrosoft CorporationdFileDescriptionVerifier Configuration Editorh$FileVersion10.0.20348.1 (WinBuild.160101.0800):
InternalNameverifier.exe�.LegalCopyright� Microsoft Corporation. All rights reserved.JOriginalFilenameverifier.exe.muij%ProductNameMicrosoft� Windows� Operating System>
ProductVersion10.0.20348.1DVarFileInfo$Translation	�PADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGX