MZ@ !L!This program cannot be run in DOS mode. $Rؕ3}3}3}H̴3}H̱3}Rich3}PEL!  @D.rsrc@@@ 0HYZ0[H\`]x^_`abce f8Ph     (@Xp0H`x !",-. 8 P ` p             0 @ P ` p             0 @ P ` p               0 HH"N#`H&D'*X-@0T1$x244@t9H;T>@"PV WWZX]d|fhlprvd{ ܂x0,\`,ԣN4Գx MUI ڄlgqR:l+`b /l^J MUIen-USȀChange the current verifier settingsMS Shell DlgP32OKPu2Cancel PM+SysListView32List1P These settings can be changed without restarting this computer. Any changes made here will be lost when this computer is restarted.P%&If you want your changes to persist across restarts please go to the initial step of the wizard and select Create standard settings or Create custom settings.@HDriver Verifier ManagerMS Shell DlgP )PSettings and verified drivers P SysListView32List1 PSysListView32List1P%&Randomized low resources simulation...P Settings:P%Drivers:@H Driver Verifier ManagerMS Shell DlgPCurrent settings and verified drivers (run time information)P Settings: P SysListView32List1PDrivers: PSysListView32List1PR2,&Change...P2-A&dd...P62.Re&moveP )@HDriver Verifier ManagerMS Shell DlgPSelect individual settings from this full listP ) P|SysListView32List1PA@HDriver Verifier ManagerMS Shell DlgP<3&Select allPM<4&Deselect allP<5&Invert selectionPSelect drivers to verify P$|SysListView32List1Pw&Add currently not loaded driver(s) to the list...P )@HDriver Verifier ManagerMS Shell DlgPReplace this with the appropriate title P|SysListView32List1P )@HDriver Verifier ManagerMS Shell Dlg P  Automatically select &unsigned drivers P N Automatically select drivers built for &older versions of Windows P Automatically select &all drivers installed on this computer P o Select driver names from a &listPSelect what drivers to verifyP )@HDriver Verifier ManagerMS Shell Dlg P y Create &standard settings P Ay Create &custom settings (for code developers) P iy &Delete existing settings P y Displa&y existing settings P y Dis&play information about the currently verified driversP )PSelect a taskPA@HDriver Verifier ManagerMS Shell Dlg P| Enable &predefined settings: P| Select &individual settings from a full listP$2] &Standard settingsP$U] 1&Force pending I/O requestsP$x] &Randomized low resources simulationP$] 2IRP L&oggingPCreate custom settingsP )@HDriver Verifier ManagerMS Shell DlgPGlobal countersP ;& P|'SysListView32List1PAGPlease waitMS Shell DlgP Building file list...Pmsctls_progress32Progress1PD22Cancel@HDriver Verifier ManagerMS Shell DlgPCounters specific to each of the currently verified driversPDriver:!P*O( P#|)SysListView32List1P )*@HDriver Verifier ManagerMS Shell Dlg P$ L&System default value P> M&Custom value:PTNP XProbability P$ RFail APIs in &any applications P> SFail APIs &only in these applications:PTTPXApplications P OFail &pool allocations using any tags P PFail pool allocations using only these &tags:PQPsXPool tags P US&ystem default value P VC&ustom value:PWPsXSystem start delay timePRandomized low resources simulation parametersP )XȀ 7Current Randomized low resources simulation parametersMS Shell DlgP{2OKPRProbability:Pg`P.RApplications:Pg+aPHRPool tags:PgEbPbRDelay :Pg_cP)o&About verifier...Driver Verifier ManagerCannot load program name.&Not enough memory to run this program.7Please select some tests before going to the next step.Cannot find system directory.No drivers found.Cannot find current directory.#Cannot set current directory to %s.*Cannot get active drivers list: status %#xName DescriptionLoading driver information...!Searching for unsigned drivers...3The list of unsigned drivers chosen to be verified:LThe list of drivers built for old versions of Windows chosen to be verified: <unknown>Settings type:TypicalCustom!Built for old versions of WindowsUnsignedAllDriversVerify?ProviderVersionPADrivers to verifyDisabledEnabled`Click Next to create standard settings. You will then be asked to select the drivers to verify.zClick Next to create custom settings. You will then be asked to select the custom settings and list of drivers to verify.FClick Next to display statistics about the currently verified drivers.PClick Finish to delete all the existing verifier settings and exit this program.bThis selection deletes all Driver Verifier settings and ends the program. Do you want to continue?Click Next to verify all unsigned drivers installed on this computer. A list of these drivers will be displayed. Click Back to review or change the settings you want to create.Click Finish to verify all the drivers installed on this computer. The current settings will be saved and this program will exit. Click Back to review or change the settings you want to create.Click Next to manually select the drivers to verify from a list of all the drivers installed on this computer. Click Back to review or change the settings you want to create.Click Next to verify all the drivers installed on this computer that are built for older versions of Windows. A list of these drivers will be displayed. Click Back to review or change the settings you want to create.Click Finish to verify this list of drivers. The current settings will be saved and this program will exit. Click Back to review or change the settings or to select another set of drivers to verify.Click Finish after selecting the drivers to verify. The current settings will be saved and this program will exit. Click Back to review or change the settings you want to create or to select another set of drivers to verify.rClick Next to enable any checked-off predefined settings. You will then be asked to select the drivers to verify.zClick Next to manually select verifier settings from a full list. You will then be asked to select the drivers to verify.PAClick Next after you have selected the settings you want to create. You will then be asked to select the drivers to verify. Flags marked with a (*) require I/O Verification (bit 4) also be enabled.Access is denied#RegOpenKeyEx('%s') failed: error %u$RegSetValueEx('%s') failed: error %u?No drivers built for older versions of Windows have been found.$No unsigned drivers have been found.%RegDeleteValue('%s') failed: error %uStatus Never LoadedUnloadedLoadedThe coverage for pool allocation verification is only %I64u%%. Adding more physical memory to this computer could improve your coverage.*Cannot get verifier information, error %x wClick Next to display global counters for the currently verified drivers or Back to create or delete verifier settings.PA /internal/?-?/querysettings/reset/log /interval/query/flags/all /volatile/driver /adddriver /removedriver /standard/faultsPA/faultssystematic /bootmode PersistentResetonbootfailOnebootSpecial/rulesPACannot append to file %s Cannot write to file %s !Error: Cannot get verifier state #No drivers are currently verified. Flags: 0x%08X RaiseIrqls: %u AcquireSpinLocks: %u SynchronizeExecutions: %u AllocationsAttempted: %u AllocationsSucceeded: %u $AllocationsSucceededSpecialPool: %u AllocationsWithNoTag: %u AllocationsFailed: %u "AllocationsFailedDeliberately: %u Trims: %u UnTrackedPool: %u Verified drivers:!Name: %s, loads: %u, unloads: %u CurrentPagedPoolAllocations: %u #CurrentNonPagedPoolAllocations: %u PeakPagedPoolAllocations: %u PeakNonPagedPoolAllocations: %u PagedPoolUsageInBytes: %u NonPagedPoolUsageInBytes: %u PeakPagedPoolUsageInBytes: %u !PeakNonPagedPoolUsageInBytes: %u =An error occurred while trying to change the system settings.oCannot enable verification for %s. This functionality is not supported in this version of the operating system.vCannot enable verification for %s. This error occurs if this computer was not booted with a list of drivers to verify.WCannot enable verification for %s. This error occurs if the driver is currently loaded.HCannot enable verification for %s: insufficient resources are available.4Cannot enable verification for %s: access is denied..Cannot enable verification for %s: error %08X.wCannot disable verification for %s. This error occurs if this computer was not booted with a list of drivers to verify.XCannot disable verification for %s. This error occurs if the driver is currently loaded.ICannot disable verification for %s: insufficient resources are available.5Cannot disable verification for %s: access is denied./Cannot disable verification for %s: error %08X.No settings were changed.The changed flags are:Flags not changed.TThe new settings are in effect until you restart this computer or change them again.>You must restart this computer for the changes to take effect.Please select at least one driver to verify before continuing. To disable the verifier click the Back button until the first step and select "Delete existing settings".Enabled? Test TypeYesNo&RegQueryValueEx('%s') failed: error %uPClick Finish to exit this program or Back to create or delete verifier settings..Verify all drivers installed on this computer.Verify these drivers:CounterValueClick Next to display counters specific to each of the currently verified drivers. Click Back to redisplay the current verifier settings and the list of verified drivers.Pool allocations attemptedPool allocations succeeded*Pool allocations succeeded in special poolPool allocations without tagPool allocations not trackedPool allocations failedFaults injected IRQL raisesSpinlocks acquiredPAExecutions synchronizedTrims"Paged pool - number of allocations'Paged pool - peak number of allocationsPaged pool - bytes allocated!Paged pool - peak bytes allocated&Non paged pool - number of allocations+Non paged pool - peak number of allocations Non paged pool - bytes allocated%Non paged pool - peak bytes allocatedYClick Finish to exit this program. Click Back to redisplay the global verifier counters."Too many files were selected."Cannot open file(s): error %u%The driver %s is already in the list. Bootmode:PANew verifier settings:None4Click Next to display the current verifier settings.Enabled Flags Value: 0x%08XStandard Flags:Additional Flags:3Internal Flags (use of these flags is unsupported):[X] Indicates flag is enabled vForce pending I/O requests cannot be enabled without I/O verification. Would you like to enable I/O verification too?Driver %s will not be verifiedDriver %s will be verified - disabled from now on.  - enabled from now on. gIRP Logging cannot be enabled without I/O verification. Would you like to enable I/O verification too?,Warning - ignoring unexpected parameter: %s.1Cannot set fault injection parameters: status %#x,Randomized low resources simulation options:(Use default fault injection probability.PA#Fault injection probability: %u/%u.-Allocations using any pool tag can be failed.*Fail only allocations using pool tags: %s.@Simulate Randomized low resources conditions in any application.FSimulate Randomized low resources conditions only in applications: %s.Click Next to use the current Randomized low resources simulation settings. You will then be asked to select the drivers to verify. Click Back to review or change the settings you want to create.System default valueAny applicationsAny tags0New Randomized low resources simulation options:Boot time delay: %u minutes.PA%Cannot find system drivers directory.Drivers (*.sys)|*.sys|||Invariant MDL checking for stack cannot be enabled without I/O verification. Would you like to enable I/O verification too?}Invariant MDL checking for driver cannot be enabled without I/O verification. Would you like to enable I/O verification too?,Warning - cannot enable in volatile mode: %s=Note - new flags value will also enable I/O verification flag0Error - missing flags argument to /flags switch.2Error - missing driver argument to /driver switch.Failed with error %d: %sbit %2d (0x%08x) - %sWarning - flag value provided (0x%08X) includes values (0x%08X) that are not assigned to existing Driver Verifier Flags.HError - failed to convert numerical value (missing numeric base prefix?)*Error - failed to convert numerical value.:Error - integer overflow when converting to 32-bit number.:Error - integer overflow when converting to 64-bit number.Rules:PADisabled: 0x%I32X (%s)'All other rules using default settings.!All rules using default settings.5Error: Rule code 0x%I32X not mapped to existing rule.Rule 0x%I32X already disabled.+Rule 0x%I32X already using default setting.Rule 0x%I32X disabled.(Rule 0x%I32X set to use default setting. Flag TypeStandard AdditionalInternalPA$Driver Verifier Manager - version %S COMMON USAGE: verifier /? verifier /standard /all, verifier /standard /driver NAME [NAME ...] verifier /flags FLAGS /all/ verifier /flags FLAGS /driver NAME [NAME ...] verifier /query verifier /querysettings9 verifier /bootmode [persistent|resetonbootfail|oneboot] verifier /reset. verifier /faults [PROB [TAGS [APPS [MINS]]]]) verifier /faultssystematic [OPTION ...]1 verifier /log LOG_FILE_NAME [/interval SECONDS]! verifier /volatile /flags FLAGS/ verifier /volatile /adddriver NAME [NAME ...]2 verifier /volatile /removedriver NAME [NAME ...]8 verifier /volatile /faults [PROB [TAGS [APPS [MINS]]]] /? This help. /standard- Enable the Driver Verifier standard flags. 5 This is functionally equivalent to '/flags 0x209BB' /all4 Enable Driver Verifier on all drivers in a system. /driver NAME [NAME ...]@ Specify the driver or list of drivers that should be verified.M NAME is the name and extension of the file to verify (example: driver.sys).M To enable Driver Verifier on more than one driver, list all drivers using aL space separated list. Wildcard values (such as n*.sys) are not supported. /flags FLAGS 6 Specify which options are enabled for verification. B FLAGS value must be a number in decimal or hex (with 0x prefix).K Note: Flags are applied to all drivers being checked by Driver Verifier.   STANDARD FLAGS:M These flags are considered standard options for Driver Verifier and can be N set using '/standard' or by the combination of the options: '/flags 0x209BB'  ADDITIONAL FLAGS:9 These flags are designed for specific scenario testing.PAK Flags marked with a (*) require I/O Verification (bit 4) also be enabled.  INTERNAL FLAGS:( These flags are for internal use only. /query: Display a summary of Driver Verifier's current activity. /querysettingsK Display a summary of the options and drivers that are currently enabled, I or options and drivers that will be verified after the next boot. The E display does not include drivers and options added using /volatile. /bootmode? Sets the verifier boot mode. Requires reboot to take effect.M persistent: Ensures that DV settings are persistent over many reboots.# This is default.L resetonbootfail: If OS fails to boot, reset verifier for subsequent boots.6 oneboot: Only enable verifier for next boot. /resetJ Clear Driver Verifier flag and driver settings. Does not clear bootmode.! Requires reboot to take effect. #/faults [PROB [TAGS [APPS [MINS]]]]K Enable the Randomized low resources simulation bit and optionally control9 parameters for the Randomized low resources simulation.D PROB: A number between 1 and 10000 specifying the fault injection J probability. If this parameter is not specified, then the default ' value of 600 (6%) will be used.K TAGS: A space separated list of the pool tags to be injected with faults.PAK If this parameter is not specified, then any pool allocation can be injected with faults.M APPS: A space separated list of the image filename of the applications thatM will be injected with faults. If this parameter is not specified thenE the Randomized low resources simulation can take place in any application.K MINS: A positive number indicating the of minutes after rebooting during F which no fault injection will occur. If this parameter is not E specified, then the default length of 8 minutes will be used. /faultssystematic [OPTION ...]B Options for controlling the Systematic low resources simulation.@ enableboottime: enables fault injections across reboots.K disableboottime: disables fault injections across reboots (default).I recordboottime: enables fault injections in 'what if' mode across reboots.K resetboottime: disables fault injections across reboots and clears1 the stack exclusion list.= enableruntime: dynamically enables fault injections.> disableruntime: dynamically disables fault injections.I recordruntime: dynamically enables fault injections in 'what if' mode.L resetruntime: dynamically disables fault injections and clears the5 previosly faulted stack list.E querystatistics: shows the current fault injection statistics.I incrementcounter: increments the test pass counter used to identify2 when a fault was injected.B getstackid COUNTER: retrieves the indicated injected stack id.@ excludestack STACKID: excludes the stack from fault injection. &/log LOG_FILE_NAME [/interval SECONDS]1 Create a log file with the name LOG_FILE_NAME. J If '/interval' option is not specified, the default 30 seconds is used. N Note: If a 'verifier /log' command is typed at the command line, the commandA prompt does not return. Use CTRL+C to close the log and return. /volatileH Change the verifier settings dynamically without rebooting the system.@ Volatile settings are in effect until the next system reboot.  $/volatile /adddriver NAME [NAME ...]J Add the specified driver or drivers to the list of drivers that will be " checked with volatile settings.  '/volatile /removedriver NAME [NAME ...]J Remove the specified driver or drivers from the list of drivers that are( being checked with volatile settings.  PA /internalF Modifier that enhances verifier with internal flags and/or features. A Flags marked with a (**) support disabling of individual rules./rules [OPTION ...]5 Options for rules that can be disabled (advanced). 9 query: shows current status of controllable rules.6 reset: resets all rules to their default state.0 default ID: sets rule ID to its default state.) disable ID: disables specified rule ID.  verifier /rules [OPTION ...] Special poolForce IRQL checking#Randomized low resources simulation Pool trackingPAI/O verificationDeadlock detectionBit 06 DMA checkingSecurity checksForce pending I/O requests IRP loggingMiscellaneous checksAdditional debug information Invariant MDL checking for stack!Invariant MDL checking for driverPower framework delay fuzzingLoad extensionDDI compliance checking#Systematic low resources simulation$DDI compliance checking (additional)"DDI compliance checking (internal)NDIS/WIFI verificationDriver logging$Kernel synchronization delay fuzzingVM switch verification4VS_VERSION_INFO@%@%? StringFileInfo040904B0LCompanyNameMicrosoft CorporationXFileDescriptionDriver Verifier Managerr)FileVersion6.3.9600.16384 (winblue_rtm.130821-1623): InternalNameverifier.exe.LegalCopyright Microsoft Corporation. All rights reserved.JOriginalFilenameverifier.exe.muij%ProductNameMicrosoft Windows Operating SystemBProductVersion6.3.9600.16384DVarFileInfo$Translation PADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPADDINGPADDINGXXPAD