| 0x01001000 | 验证程序标志: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | 验证程序易失性标志: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | 标准标志: |
Standard Flags: |
| 0x01001003 | 其他标志: |
Additional Flags: |
| 0x01001004 | 内部标志: |
Internal Flags: |
| 0x01001005 | 引导模式: |
Boot Mode: |
| 0x01001006 | 规则: |
Rules: |
| 0x01001007 | 扩展: |
Extensions: |
| 0x01001008 | 验证的驱动程序: |
Verified Drivers: |
| 0x01001009 | 排除的驱动程序: |
Excluded Drivers: |
| 0x0100100A | 高级选项: |
Advanced Options: |
| 0x0100100B | 随机低资源模拟参数 |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | 验证程序统计信息摘要 |
Verifier Statistics Summary |
| 0x0100100D | 驱动程序验证列表 |
Driver Verification List |
| 0x0100100E | 模块: %1 (加载: %2!d! / 卸载: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | 池分配统计信息: ( 未分页 / 已分页 ) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | 代码完整性统计信息: |
Code Integrity Statistics: |
| 0x01001011 | 时间戳: %1 |
Time Stamp: %1 |
| 0x01001012 | 易失性标志: |
Volatile Flags: |
| 0x01001013 | 添加的驱动程序: |
Added Drivers: |
| 0x01001014 | 删除的驱动程序: |
Removed Drivers: |
| 0x01001015 | [X] 指示标志已启用。 |
[X] Indicates flag is enabled. |
| 0x01001016 | 所有驱动程序 |
All Drivers |
| 0x01001017 | 所有规则都在使用默认设置 |
All rules are using default settings |
| 0x01001018 | 所有其他规则都在使用默认设置 |
All other rules are using default settings |
| 0x01001019 | 已禁用: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | 所有规则都已显式禁用。 |
All rules are explicitly disabled. |
| 0x0100101B | 无 |
None |
| 0x0100101C | 请求的操作成功。在重新启动系统前，更改将不会生效。 |
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! 特殊池。 |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! 强制 IRQL 检查。 |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! 随机低资源模拟。 |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! 池跟踪。 |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! I/O 验证。 |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! 死锁检测。 |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! 增强的 I/O 检查。 |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! DMA 检查。 |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! 安全检查。 |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! 强制挂起 I/O 请求。 |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! IRP 日志记录。 |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! 杂项检查。 |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! 附加调试信息。 |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! 堆栈的固定 MDL 检查。 |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! 驱动程序的固定 MDL 检查。 |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Power 框架延迟模糊处理。 |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! 端口/微型端口接口检查。 |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! DDI 兼容性检查。 |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! 系统低资源模拟。 |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! DDI 兼容性检查(额外)。 |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! DDI 兼容性检查(内部)。 |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! NDIS/WLAN 验证。 |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! 驱动程序日志记录。 |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! 内核同步延迟模糊处理。 |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! VM 开关验证。 |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! 代码完整性检查。 |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | 提升 IRQL: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | 获取自旋锁: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | 同步执行: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | 调整: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | 尝试的池分配: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | 成功的池分配: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | 池分配成功的特殊池: %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | 无标记的池分配: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | 未跟踪的池分配: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | 失败的池分配: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | 故意失败的池分配: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | 当前的池分配: ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | 当前的池字节数: ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | 峰值池分配: ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | 峰值池字节数: ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | 连续内存字节数: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | 峰值连续内存字节数: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | 执行池类型计数: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | 执行页面保护计数: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | 执行页面映射计数: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | 执行-写入节计数: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | 节对齐故障: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | 选项: %1 |
Options: %1 |
| 0x01002035 | 规则 0x%1!08x! 已被禁用。 |
Rule 0x%1!08x! disabled. |
| 0x01002036 | 规则 0x%1!08x! 设置为使用默认设置。 |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | 需要重新引导系统才能使更改生效。 |
The system reboot is required for the changes to take effect. |
| 0x01002038 | 没有更改任何设置。 |
No settings were changed. |
| 0x01002039 | 新设置将一直有效，直至系统重新启动或者再次更改设置。 |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | 不支持的重定位计数: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | 可执行节中的 IAT 计数: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | 指定了不受支持的命令行参数。请运行 \"verifier /?\" 获得命令行帮助。 |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | 指定的命令行参数 '/%1' 不是预期的。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | 指定的命令行参数 '/%1' 未遵循所需的格式。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | 指定的命令行参数 '/%1' 不支持选项 '%2'。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | 指定的命令行参数 '/%1' 选项值无效。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | 指定的命令行参数 '/%1' 选项 '%2' 未遵循所需的格式。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008007 | 指定的标志 0x%1!08x! 不受支持。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | 指定的标志 0x%1!08x! 在易失性模式下不受支持。请运行 \"verifier /?\" 获得命令行帮助。 |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | 启动对 '%1' 驱动程序的验证失败。 |
Failed to start the verification for '%1' driver. |
| 0xC100800A | 停止对 '%1' 驱动程序的验证失败。 |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | 规则代码 0x%1!08x! 未映射到现有规则。 |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800D | 规则 0x%1!08x! 已在使用默认设置。 |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | 验证程序注册表设置包含无效值。请运行 \"verifier /reset\" 清除注册表设置。 |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | 查询验证程序注册表设置失败。 |
Failed to query verifier registry settings. |
| 0xC1008010 | 当前操作需要管理员权限。 |
The current operation requires admin privilege. |
| 0xC1008011 | 查询易失性验证程序设置失败。 |
Failed to query volatile verifier settings. |
| 0xC1008012 | 设置易失性验证程序设置失败。 |
Failed to set volatile verifier settings. |
| 0xC1008013 | 当前系统环境仅支持命令行界面。请运行 \"verifier /?\" 获得命令行帮助。 |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | 版权所有 (c) Microsoft Corporation。保留所有权利。语法: 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 /livedump参数: /? 或 /help 显示此帮助消息。 /standard 指定标准驱动程序验证程序标志。这等效于 '/flags 0x209BB'. /all 指定在下次引导后将验证所有已安装的 驱动程序。 /driver [ ...] 指定将验证的一个或多个驱动程序(映像名称)。 不支持通配符值(例如 n*.sys)。 /driver.exclude [ ...] 指定一个或多个可从验证中排除的驱动程序 (映像名称)。仅当已选择验证所有驱动程序时， 此参数才适用。不支持通配符值 (例如 n*.sys)。 /flags [ ...] 指定应当为验证启用的一个或多个选项。 标志应用于驱动程序验证程序检查的所有驱动程序。 提供的选项值必须为十进制、十六进制(\"0x\" 前缀)、八进制(\"0o\" 前缀)或二进制(\"0b\" 前缀)格式。 标准标志: 可以使用 '/standard' 或 '/flags 0x209BB' 指定 标准驱动程序验证程序选项。 0x00000001 (位 0) - 特殊池 0x00000002 (位 1) - 强制 IRQL 检查 0x00000008 (位 3) - 池跟踪 0x00000010 (位 4) - I/O 验证 0x00000020 (位 5) - 死锁检测 0x00000080 (位 7) - DMA 检查 0x00000100 (位 8) - 安全检查 0x00000800 (位 11) - 杂项检查 0x00020000 (位 17) - DDI 兼容性检查g 其他标志: 这些标志用于特定的方案测试。 标有(*)的标志需要将自动启用 的 I/O 验证(位 4)。标有(**)的标志支持禁用个体 规则。 0x00000004 (位 2) - 随机低资源模拟 0x00000200 (位 9) - 强制挂起 I/O 请求(*) 0x00000400 (位 10) - IRP 日志记录(*) 0x00002000 (位 13) - 堆栈的固定 MDL 检查(*) 0x00004000 (位 14) - 驱动程序的固定 MDL 检查(*) 0x00008000 (位 15) - Power 框架延迟模糊处理 0x00010000 (位 16) - 端口/微型端口接口检查 0x00040000 (位 18) - 系统低资源模拟 0x00080000 (位 19) - DDI 兼容性检查(额外) 0x00200000 (位 21) - NDIS/WIFI 验证(**) 0x00800000 (位 23) - 内核同步延迟模糊处理 0x01000000 (位 24) - VM 开关验证 0x02000000 (位 25) - 代码完整性检查 /log.code_integrity 此选项抑制代码完整性违规断开且 仅收集经验证的驱动程序的统计数据。可通过 /log 选项或 内核调试程序提取统计数据。只有启用代码完整性检查， 此参数才适用。 /rules {query | reset | default | disable } 指定规则级别控制(高级)。 query 显示可控制规则的当前状态。 reset 将所有规则都重置为其默认状态。 default 将规则 ID 设置为其默认状态。 disable 禁用指定的规则 ID。 /query 显示运行时驱动程序验证程序统计信息和设置。 /querysettings 显示当前已启用的选项和驱动程序 或者在下次引导后将验证的选项和驱动程序 的摘要。该显示内容不包括使用 /volatile 添加的 驱动程序和选项。 /bootmode 指定驱动程序验证程序引导模式。此选项需要系统 重新引导才能生效。 persistent 确保驱动程序验证程序设置在 重新引导后永久存在。这是默认 值。 resetonbootfail 如果系统无法启动，则为后续重新引导 禁用驱动程序验证程序。 oneboot 仅为下次引导启用驱动程序验证程序。 /reset 清除驱动程序验证程序标志和驱动程序设置。此选项需要 系统重新引导才能生效。 |
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]]]] 启用随机低资源模拟功能并有选择地 控制随机低资源模拟的参数。 Probability 指定驱动程序验证程序执行给定的分配 失败的概率。值表示 驱动程序验证程序执行分配 失败的概率数值(总数为 10,000)。默认值 600 是指 600/10000 或 6%. Pool Tags: 指定要注入错误的池标记 的空格分隔列表。默认情况下，可以使用故障 注入任何池分配。 Applications 指定要注入错误的图像文件名 (可执行文件)的空格分隔列表。 默认情况下，任何池分配都可以注入 错误。 DelayMinutes 指定启动后驱动程序验证程序不会 有意将任何分配评估为失败的 分钟数。此延迟允许在测试开始前加载驱动程序 并使系统稳定。 默认值是 8 分钟。 /faultssystematic [ ...] 控制系统低资源模拟参数。 enableboottime 在重新启动过程中启用错误注入。 disableboottime 在重新启动过程中禁用错误注入。 这是默认值。 recordboottime 在重新启动过程中以“what if”模式启用 错误注入。 resetboottime 在重新启动过程中禁用错误注入，并 清除堆栈排除列表。 enableruntime 动态启用错误注入。 disableruntime 动态禁用错误注入。 recordruntime 在“what if”模式下动态 启用错误注入。 resetruntime 动态禁用错误注入，并 清除以前出错的堆栈列表。 querystatistics 显示当前的错误注入统计信息。 incrementcounter 递增用于确定何时注入错误的 测试通过计数器。 getstackid 检索指示的注入堆栈 ID。 excludestack 排除不进行错误注入的堆栈。 /log [/interval ] 使用指定的名称创建日志文件，并定期将 运行时统计信息写入此文件。日志文件更新间隔 由“/interval”参数控制。默认值是 30 秒。使用 CTRL+C 组合键可关闭日志并返回。 /volatile 在不重新启动计算机的情况下更改驱动程序验证程序设置。 临时设置立即生效，并在下次重新启动系统之前 一直有效。 /volatile /adddriver [ ...] 开始对指定的驱动程序进行验证。 /volatile /removedriver [ ...] 停止对指定的驱动程序进行验证。 /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] 控制验证程序扩展设置。支持以下验证程序 扩展类型: wdm 对 WDM 驱动程序启用了验证程序扩展。 ndis 对网络驱动程序启用了验证程序扩展。 ks 对内核模式流驱动程序启用了 验证程序扩展。 audio 对音频驱动程序启用了验证程序扩展。 支持以下扩展选项: rules.default 对选定的验证程序扩展启用默认的 验证规则。 rules.all 对选定的验证程序扩展启用所有的 验证规则。 /logging 对选定验证程序扩展检测到的被违反的规则启用日志 记录。 /livedump 对选定验证程序扩展检测到的被违反的规则启用 实时内存转储收集。 |
/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. |