| 0x01001000 | Verifier Flags: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | Verifier Volatile Flags: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | Standard Flags: |
Standard Flags: |
| 0x01001003 | Additional Flags: |
Additional Flags: |
| 0x01001004 | Internal Flags: |
Internal Flags: |
| 0x01001005 | Boot Mode: |
Boot Mode: |
| 0x01001006 | Rules: |
Rules: |
| 0x01001007 | Extensions: |
Extensions: |
| 0x01001008 | Verified Drivers: |
Verified Drivers: |
| 0x01001009 | Excluded Drivers: |
Excluded Drivers: |
| 0x0100100A | Advanced Options: |
Advanced Options: |
| 0x0100100B | Randomized Low Resources Simulation Parameters: |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | Verifier Statistics Summary |
Verifier Statistics Summary |
| 0x0100100D | Driver Verification List |
Driver Verification List |
| 0x0100100E | MODULE: %1 (load: %2!d! / unload: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | Pool Allocation Statistics: ( NonPaged / Paged ) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | Code Integrity Statistics: |
Code Integrity Statistics: |
| 0x01001011 | Time Stamp: %1 |
Time Stamp: %1 |
| 0x01001012 | Volatile Flags: |
Volatile Flags: |
| 0x01001013 | Added Drivers: |
Added Drivers: |
| 0x01001014 | Removed Drivers: |
Removed Drivers: |
| 0x01001015 | [X] Indicates flag is enabled. |
[X] Indicates flag is enabled. |
| 0x01001016 | All Drivers |
All Drivers |
| 0x01001017 | All rules are using default settings |
All rules are using default settings |
| 0x01001018 | All other rules are using default settings |
All other rules are using default settings |
| 0x01001019 | Disabled: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | All rules are explicitly disabled. |
All rules are explicitly disabled. |
| 0x0100101B | None |
None |
| 0x0100101C | The requested operation is successful. Changes will not be effective until the system is rebooted. |
The requested operation is successful. Changes will not be effective until the system is rebooted. |
| 0x01002000 | %1 |
%1 |
| 0x01002001 | %1: %2 |
%1: %2 |
| 0x01002002 | %1: %2!d! |
%1: %2!d! |
| 0x01002003 | %1: %2!I64d! |
%1: %2!I64d! |
| 0x01002004 | [%1] 0x%2!08x! Special pool. |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! Force IRQL checking. |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! Randomized low resources simulation. |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! Pool tracking. |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! I/O verification. |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! Deadlock detection. |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! Enhanced I/O checking. |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! DMA checking. |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! Security checks. |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! Force pending I/O requests. |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! IRP logging. |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! Miscellaneous checks. |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! Additional debug information. |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! Invariant MDL checking for stack. |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! Invariant MDL checking for driver. |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Power framework delay fuzzing. |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! Port/miniport interface checking. |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! DDI compliance checking. |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! Systematic low resources simulation. |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! DDI compliance checking (additional). |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! DDI compliance checking (internal). |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! NDIS/WIFI verification. |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! Driver logging. |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! VM switch verification. |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! Code integrity checks. |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | Raise IRQLs: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | Acquire Spin Locks: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | Synchronize Executions: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | Trims: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | Pool Allocations Attempted: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | Pool Allocations Succeeded: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | Pool Allocations Succeeded SpecialPool: %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | Pool Allocations With No Tag: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | Pool Allocations Not Tracked: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | Pool Allocations Failed: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | Pool Allocations Failed Deliberately: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | Current Pool Allocations: ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | Current Pool Bytes: ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | Contiguous Memory Bytes: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | Peak Contiguous Memory Bytes: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | Execute Pool Type Count: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | Execute Page Protection Count: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | Execute Page Mapping Count: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | Execute-Write Section Count: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | Section Alignment Failures: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | Options: %1 |
Options: %1 |
| 0x01002035 | Rule 0x%1!08x! disabled. |
Rule 0x%1!08x! disabled. |
| 0x01002036 | Rule 0x%1!08x! set to use default setting. |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | The system reboot is required for the changes to take effect. |
The system reboot is required for the changes to take effect. |
| 0x01002038 | No settings were changed. |
No settings were changed. |
| 0x01002039 | The new settings are in effect until the systemis restarted or the settings are changed again. |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | Unsupported Relocs Count: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | IAT in Executable Section Count: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | The specified command line parameter '/%1' option '%2' doesn't follow required format.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. |
| 0xC1008007 | The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | Failed to start the verification for '%1' driver. |
Failed to start the verification for '%1' driver. |
| 0xC100800A | Failed to stop the verification for '%1' driver. |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | Rule code 0x%1!08x! not mapped to existing rule. |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800C | Rule 0x%1!08x! already disabled. |
Rule 0x%1!08x! already disabled. |
| 0xC100800D | Rule 0x%1!08x! already using default setting. |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | Failed to query verifier registry settings. |
Failed to query verifier registry settings. |
| 0xC1008010 | The current operation requires admin privilege. |
The current operation requires admin privilege. |
| 0xC1008011 | Failed to query volatile verifier settings. |
Failed to query volatile verifier settings. |
| 0xC1008012 | Failed to set volatile verifier settings. |
Failed to set volatile verifier settings. |
| 0xC1008013 | The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | Copyright (c) Microsoft Corporation. All rights reserved.SYNTAX: verifier {/? | /help} verifier /standard /all verifier /standard /driver [ ...] verifier /flags [ ...] /all verifier /flags [ ...] /driver [ ...] verifier /rules {query | reset | default | disable } verifier /query verifier /querysettings verifier /bootmode {persistent | resetonbootfail | oneboot} verifier /reset verifier /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /faultssystematic [ ...] verifier /log [/interval ] verifier /volatile /flags [ ...] verifier /volatile /adddriver [ ...] verifier /volatile /removedriver [ ...] 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 /livedumpPARAMETERS: /? or /help Displays this help message. /standard Specifies standard Driver Verifier flags. This is equivalent to '/flags 0x209BB'. /all Specifies that all installed drivers will be verified after the next boot. /driver [ ...] Specifies one or more drivers (image names) that will be verified. Wildcard values (e.g. n*.sys) are not supported. /driver.exclude [ ...] 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 [ ...] 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' or '/flags 0x209BB'. 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 /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 | disable } Specifies rules level control (advanced). query Shows current status of controllable rules. reset Resets all rules to their default state. default Sets rule ID to its default state. disable 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. oneboot Enables Driver Verifier only for the next boot. /reset Clears Driver Verifier flags and driver settings. This option requires system reboot to take effect. |
Copyright (c) Microsoft Corporation. All rights reserved.SYNTAX: verifier {/? | /help} verifier /standard /all verifier /standard /driver [ ...] verifier /flags [ ...] /all verifier /flags [ ...] /driver [ ...] verifier /rules {query | reset | default | disable } verifier /query verifier /querysettings verifier /bootmode {persistent | resetonbootfail | oneboot} verifier /reset verifier /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /faultssystematic [ ...] verifier /log [/interval ] verifier /volatile /flags [ ...] verifier /volatile /adddriver [ ...] verifier /volatile /removedriver [ ...] 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 /livedumpPARAMETERS: /? or /help Displays this help message. /standard Specifies standard Driver Verifier flags. This is equivalent to '/flags 0x209BB'. /all Specifies that all installed drivers will be verified after the next boot. /driver [ ...] Specifies one or more drivers (image names) that will be verified. Wildcard values (e.g. n*.sys) are not supported. /driver.exclude [ ...] 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 [ ...] 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' or '/flags 0x209BB'. 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 /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 | disable } Specifies rules level control (advanced). query Shows current status of controllable rules. reset Resets all rules to their default state. default Sets rule ID to its default state. disable 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. oneboot Enables Driver Verifier only for the next boot. /reset Clears Driver Verifier flags and driver settings. This option requires system reboot to take effect. |
| 0xC100F002 | /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 [ ...] 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 Retrieves the indicated injected stack id. excludestack Excludes the stack from fault injection. /log [/interval ] 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 [ ...] Starts the verification for the specified driver or drivers. /volatile /removedriver [ ...] 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. |
/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 [ ...] 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 Retrieves the indicated injected stack id. excludestack Excludes the stack from fault injection. /log [/interval ] 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 [ ...] Starts the verification for the specified driver or drivers. /volatile /removedriver [ ...] 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. |