| 0x01001000 | Überprüfungskennzeichen: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | Temporäre Überprüfungskennzeichen: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | Standardkennzeichen: |
Standard Flags: |
| 0x01001003 | Zusätzliche Kennzeichen: |
Additional Flags: |
| 0x01001004 | Interne Kennzeichen: |
Internal Flags: |
| 0x01001005 | Startmodus: |
Boot Mode: |
| 0x01001006 | Regeln: |
Rules: |
| 0x01001007 | Erweiterungen: |
Extensions: |
| 0x01001008 | Überprüfte Treiber: |
Verified Drivers: |
| 0x01001009 | Ausgeschlossene Treiber: |
Excluded Drivers: |
| 0x0100100A | Erweiterte Optionen: |
Advanced Options: |
| 0x0100100B | Parameter für die Simulation geringer Ressourcen nach dem Zufallsprinzip: |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | Zusammenfassung der Überprüfungsstatistik |
Verifier Statistics Summary |
| 0x0100100D | Treiberüberprüfungsliste |
Driver Verification List |
| 0x0100100E | MODUL: %1 (laden: %2!d!/entladen: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | Poolzuordnungsstatistik: (ausgelagert/nicht ausgelagert) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | Codeintegritätsstatistik: |
Code Integrity Statistics: |
| 0x01001011 | Zeitstempel: %1 |
Time Stamp: %1 |
| 0x01001012 | Temporäre Kennzeichen: |
Volatile Flags: |
| 0x01001013 | Hinzugefügte Treiber: |
Added Drivers: |
| 0x01001014 | Entfernte Treiber: |
Removed Drivers: |
| 0x01001015 | [X] gibt an, dass das Kennzeichen aktiviert ist. |
[X] Indicates flag is enabled. |
| 0x01001016 | Alle Treiber |
All Drivers |
| 0x01001017 | Für alle Regeln werden Standardeinstellungen verwendet. |
All rules are using default settings |
| 0x01001018 | Für alle anderen Regeln werden Standardeinstellungen verwendet. |
All other rules are using default settings |
| 0x01001019 | Deaktiviert: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | Alle Regeln werden explizit deaktiviert. |
All rules are explicitly disabled. |
| 0x0100101B | Keine |
None |
| 0x0100101C | Der angeforderte Vorgang wurde erfolgreich abgeschlossen. Änderungen werden erst nach einem Neustart des Systems wirksam. |
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! Spezieller Pool. |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! IRQL-Überprüfung erzwingen. |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! Simulation geringer Ressourcen nach dem Zufallsprinzip. |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! Poolnachverfolgung. |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! E/A-Überprüfung. |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! Deadlockerkennung. |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! Erweiterte E/A-Überprüfung. |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! DMA-Überprüfung. |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! Sicherheitsüberprüfungen. |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! Ausstehende E/A-Anforderungen erzwingen. |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! IRP-Protokollierung. |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! Sonstige Prüfungen. |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! Zusätzliche Debuginformationen. |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! Invariante MDL-Überprüfung für Stapel. |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! Invariante MDL-Überprüfung für Treiber. |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Testen der Verzögerung des Energieverwaltungsframeworks mit zufälligen Daten. |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! Überprüfung der Port-/Miniportschnittstelle. |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! DDI-Kompatibilitätsüberprüfung. |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! Systematische Simulation geringer Ressourcen. |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! DDI-Kompatibilitätsüberprüfung (zusätzlich). |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! DDI-Kompatibilitätsüberprüfung (intern). |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! NDIS/WLAN-Überprüfung. |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! Treiberprotokollierung. |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! Testen der Verzögerung der Kernelsynchronisierung mit zufälligen Daten. |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! VM-Switchüberprüfung. |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! Codeintegritätsprüfungen. |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | IRQLs erhöhen: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | Spinlocks übernehmen: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | Ausführungen synchronisieren: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | Trimmungen: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | Versuchte Poolzuordnungen: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | Erfolgreiche Poolzuordnungen: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | Erfolgreiche Poolzuordnungen - Spezieller Pool: %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | Poolzuordnungen ohne Kennzeichen: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | Poolzuordnungen - nicht nachverfolgt: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | Fehlgeschlagene Poolzuordnungen: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | Absichtlich fehlgeschlagene Poolzuordnungen: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | Aktuelle Poolzuordnungen: (%1!8d! / %2!8d!) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | Aktuelle Poolbytes: (%1!8d! / %2!8d!) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | Max. Poolzuordnungen: (%1!8d! / %2!8d!) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | Max. Poolbytes: (%1!8d! / %2!8d!) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | Zusammenhängende Speicherbytes: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | Max. zusammenhängende Speicherbytes: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | Anzahl von \"Ausführen\"-Pooltypen: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | \"Seitenschutz ausführen\" – Anzahl: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | \"Seitenzuordnung ausführen\" – Anzahl: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | \"Abschnitt ausführen/schreiben\" – Anzahl: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | Abschnittsausrichtungsfehler: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | Optionen: %1 |
Options: %1 |
| 0x01002035 | Die Regel 0x%1!08x! ist deaktiviert. |
Rule 0x%1!08x! disabled. |
| 0x01002036 | Für die Regel 0x%1!08x! wurde die Verwendung der Standardeinstellung festgelegt. |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | Der Systemneustart ist erforderlich, damit die Änderungen wirksam werden. |
The system reboot is required for the changes to take effect. |
| 0x01002038 | Es wurden keine Einstellungen geändert. |
No settings were changed. |
| 0x01002039 | Die neuen Einstellungen sind wirksam, bis das Systemneu gestartet oder die Änderungen erneut geändert werden. |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | Anzahl nicht unterstützter Umsetzungen: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | IAT im Zähler ausführbarer Abschnitte: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | Ein nicht unterstützter Befehlszeilenparameter wurde angegeben.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | Der angegebene Befehlszeilenparameter \"/%1\" wurde nicht erwartet.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | Der angegebene Befehlszeilenparameter \"/%1\" weist nicht das erforderliche Format auf.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | Die Option \"%2\" wird vom angegebenen Befehlszeilenparameter \"/%1\" nicht unterstützt.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | Die Optionswerte des angegebenen Befehlszeilenparameters \"/%1\" sind ungültig.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | Die Option \"%2\" des angegebenen Befehlszeilenparameters \"/%1\" weist nicht das erforderliche Format auf.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008007 | Die angegebenen Kennzeichen \"0x%1!08x!\" werden nicht unterstützt.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | Die angegebenen Kennzeichen \"0x%1!08x!\" werden im temporären Modus nicht unterstützt.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | Fehler beim Starten der Überprüfung für den Treiber \"%1\". |
Failed to start the verification for '%1' driver. |
| 0xC100800A | Fehler beim Beenden der Überprüfung für den Treiber \"%1\". |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | Der Regelcode \"0x%1!08x!\" ist keiner vorhandenen Regel zugeordnet. |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800C | Die Regel \"0x%1!08x!\" wurde bereits deaktiviert. |
Rule 0x%1!08x! already disabled. |
| 0xC100800D | Für die Regel \"0x%1!08x!\" wird bereits die Standardeinstellung verwendet. |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | Die Registrierungseinstellungen der Überprüfung enthalten ungültige Werte.Führen Sie \"verifier /reset\" aus, um die Registrierungseinstellungen zu bereinigen. |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | Fehler beim Abfragen der Registrierungseinstellungen der Überprüfung. |
Failed to query verifier registry settings. |
| 0xC1008010 | Der aktuelle Vorgang erfordert Administratorrechte. |
The current operation requires admin privilege. |
| 0xC1008011 | Fehler beim Abfragen der temporären Überprüfungseinstellungen. |
Failed to query volatile verifier settings. |
| 0xC1008012 | Fehler beim Festlegen der temporären Überprüfungseinstellungen. |
Failed to set volatile verifier settings. |
| 0xC1008013 | Die aktuelle Systemumgebung unterstützt nur die Befehlszeilenschnittstelle.Führen Sie \"verifier /?\" aus, um die Befehlszeilenunterstützung aufzurufen. |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | Copyright (c) Microsoft Corporation. Alle Rechte vorbehalten.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 /livedumpPARAMETER: /? oder /help Zeigt diese Hilfemeldung an. /standard Gibt die standardmäßigen Treiberüberprüfungs-Kennzeichen an. Entspricht \"/flags 0x209BB\". /all Gibt an, dass alle installierten Treiber nach dem nächsten Start überprüft werden. /driver [ ...] Gibt mindestens einen Treiber (Imagenamen) an, der überprüft wird. Platzhalterwerte (z. B. n*.sys) werden nicht unterstützt. /driver.exclude [ ...] Gibt mindestens einen Treiber (Imagenamen) an, der aus der Überprüfung ausgeschlossen wird. Dieser Parameter ist nur gültig, wenn alle Treiber für die Überprüfung ausgewählt wurden. Platzhalterwerte (z. B. n*.sys) werden nicht unterstützt. /flags [ ...] Gibt mindestens eine Option an, die zur Überprüfung aktiviert werden soll. Kennzeichen werden auf alle Treiber angewendet, die durch die Treiberüberprüfung geprüft werden. Die angegebenen Optionswerte müssen entweder das dezimale, hexadezimale (Präfix \"0x\"), oktale (Präfix \"0o\") oder binäre (Präfix \"0b\") Format aufweisen. Standardkennzeichen: Standardmäßige Treiberüberprüfungsoptionen können mithilfe von \"/standard\" oder \"/flags 0x209BB\" angegeben werden. 0x00000001 (Bit 0) - Spezieller Pool 0x00000002 (Bit 1) - IRQL-Überprüfung erzwingen 0x00000008 (Bit 3) - Poolnachverfolgung 0x00000010 (Bit 4) - E/A-Überprüfung 0x00000020 (Bit 5) - Deadlockerkennung 0x00000080 (Bit 7) - DMA-Überprüfung 0x00000100 (Bit 8) - Sicherheitsüberprüfungen 0x00000800 (Bit 11) - Sonstige Prüfungen 0x00020000 (Bit 17) - DDI-Kompatibilitätsüberprüfung Zusätzliche Kennzeichen: Diese Kennzeichen sind für bestimmte Testszenarien konzipiert. Mit (*) gekennzeichnete Kennzeichen erfordern eine E/A-Überprüfung (Bit 4), die automatisch aktiviert ist. Mit (**) gekennzeichnete Kennzeichen unterstützen die Deaktivierung einzelner Regeln. 0x00000004 (Bit 2) - Simulation geringer Ressourcen nach dem Zufallsprinzip 0x00000200 (Bit 9) - Ausstehende E/A-Anforderungen erzwingen (*) 0x00000400 (Bit 10) - IRP-Protokollierung (*) 0x00002000 (Bit 13) - Invariante MDL-Überprüfung für Stapel (*) 0x00004000 (Bit 14) - Invariante MDL-Überprüfung für Treiber (*) 0x00008000 (Bit 15) - Testen der Verzögerung des Energieverwaltungsframeworks mit zufälligen Daten 0x00010000 (Bit 16) - Überprüfung der Port-/Miniportschnittstelle 0x00040000 (Bit 18) - Systematische Simulation geringer Ressourcen 0x00080000 (Bit 19) - DDI-Kompatibilitätsüberprüfung (zusätzlich) 0x00200000 (Bit 21) - NDIS/WLAN-Überprüfung (**) 0x00800000 (Bit 23) - Testen der Verzögerung der Kernelsynchronisierung mit zufälligen Daten 0x01000000 (Bit 24) - VM-Switchüberprüfung 0x02000000 (Bit 25) - Codeintegritätsüberprüfungen /log.code_integrity Diese Option unterdrückt Unterbrechungen durch die Verletzung der Codeintegrität und sammelt nur Statistiken für überprüfte Treiber. Statistikdaten konnten über die /log-Option oder den Kerneldebugger extrahiert werden. Dieser Parameter ist nur anwendbar, wenn Codeintegritätsüberprüfungen aktiviert sind. /rules {query | reset | default | disable } Gibt die Steuerung auf Regelebene (erweitert) an. query Zeigt den aktuellen Status steuerbarer Regeln an. reset Setzt alle Regeln auf ihren Standardzustand zurück. default Setzt die Regel-ID auf ihren Standardzustand zurück. disable Deaktiviert die angegebene Regel-ID. /query Zeigt Statistikdaten und Einstellungen für die Laufzeit-Treiberüberprüfung an. /querysettings Zeigt eine Zusammenfassung der derzeit aktivierten Treiber und Optionen bzw. der Optionen und Treiber an, die nach dem nächsten Start überprüft werden. Die Anzeige enthält keine Treiber und Optionen, die mit /volatile hinzugefügt wurden. /bootmode Gibt den Startmodus für die Treiberüberprüfung an. Damit diese Option wirksam wird, muss ein Systemneustart durchgeführt werden. persistent Stellt die Persistenz von Treiberüberprüfungseinstellungen über mehrere Neustarts sicher. Dies ist der Standardwert. resetonbootfail Deaktiviert die Treiberüberprüfung für nachfolgende Neustarts, wenn das System nicht gestartet wurde. oneboot Aktiviert die Treiberüberprüfung nur für den nächsten Start. /reset Löscht die Treiberüberprüfungs-Kennzeichen und Treibereinstellungen. Damit diese Option wirksam wird, muss ein Systemneustart durchgeführt werden. |
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]]]] Aktiviert die Funktion für die Simulation geringer Ressourcen nach dem Zufallsprinzip und optional Steuerparameter für die Simulation geringer Ressourcen nach dem Zufallsprinzip. Probability Gibt die Wahrscheinlichkeit an, mit der die Treiberüberprüfung eine bestimmte Zuordnung als fehlerhaft einstuft. Der Wert gibt an, in wie vielen aus 10.000 Fällen die Treiberüberprüfung die Zuordnung als fehlerhaft einstuft. Der Standardwert lautet 600 und steht für 600/10.000 oder 6 %. Pool Tags: Gibt eine durch Leerzeichen getrennte Liste der Poolkennzeichen an, für die die Fault Injection ausgeführt wird. Standardmäßig können Fehler in jede beliebige Poolzuordnung eingefügt werden. Applications Gibt eine durch Leerzeichen getrennte Liste mit Imagedateinamen (ausführbare Datei) an, für die die Fault Injection ausgeführt wird. Standardmäßig können Fehler in jede beliebige Poolzuordnung eingefügt werden. DelayMinutes Gibt an, wie viele Minuten nach dem Start Zuordnungen von der Treiberüberprüfung nicht absichtlich als fehlerhaft eingestuft werden. Durch diese Verzögerung können die Treiber geladen und das System stabilisiert werden, bevor der Test gestartet wird. Der Standardwert ist 8 Minuten. /faultssystematic [ ...] Steuert die Parameter für die systematische Simulation geringer Ressourcen. enableboottime Aktiviert die Fault Injection in Neustarts. disableboottime Deaktiviert die Fault Injection in Neustarts. Dies ist der Standardwert. recordboottime Aktiviert die Fault Injection im Modus \"What If\" in Neustarts. resetboottime Deaktiviert die Fault Injection in Neustarts und löscht die Stapelausschlussliste. enableruntime Aktiviert die Fault Injection dynamisch. disableruntime Deaktiviert die Fault Injection dynamisch. recordruntime Aktiviert die Fault Injection dynamisch im Modus \"What If\". resetruntime Deaktiviert die Fault Injection dynamisch und löscht die zuvor fehlerhafte Stapelliste. querystatistics Zeigt die aktuelle Fault Injection-Statistik an. incrementcounter Erhöht schrittweise den Zähler für den Testdurchlauf, mit dem identifiziert wird, wann die Fault Injection stattgefunden hat. getstackid Ruft die angegebene eingefügte Stapel-ID ab. excludestack Schließt den Stapel aus der Fault Injection aus. /log [/interval ] Erstellt eine Protokolldatei mit dem angegebenen Namen und schreibt die Laufzeitstatistik regelmäßig in diese Datei. Das Intervall zwischen den Protokolldateiupdates wird durch den Parameter \"/interval\" gesteuert. Der Standardwert ist 30 Sekunden. Verwenden Sie STRG+C, um das Protokoll zu schließen und zurückzukehren. /volatile Ändert Einstellungen der Treiberüberprüfung, ohne den Computer neu zu starten. Temporäre Einstellungen sind sofort wirksam und bleiben bis zum nächsten Systemneustart wirksam. /volatile /adddriver [ ...] Startet die Überprüfung für die oder den angegebenen Treiber. /volatile /removedriver [ ...] Beendet die Überprüfung für die oder den angegebenen Treiber. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] Steuert die Einstellungen der Überprüfungserweiterung. Die folgenden Typen von Überprüfungserweiterungen werden unterstützt: wdm Aktiviert die Überprüfungserweiterung für WDM-Treiber. ndis Aktiviert die Überprüfungserweiterung für Netzwerktreiber. ks Aktiviert die Überprüfungserweiterung für Streaming- Kernelmodustreiber. audio Aktiviert die Überprüfungserweiterung für Audiotreiber. Die folgenden Erweiterungsoptionen werden unterstützt: rules.default Aktiviert die standardmäßigen Gültigkeitsprüfungsregeln für die ausgewählte Überprüfungserweiterung. rules.all Aktiviert alle Gültigkeitsprüfungsregeln für die ausgewählte Überprüfungserweiterung. /logging Aktiviert die Protokollierung verletzter Regeln, die von den ausgewählten Überprüfungserweiterungen erkannt wurden. /livedump Aktiviert die Sammlung von Livespeicherabbildern für verletzte Regeln, die von den ausgewählten Überprüfungserweiterungen erkannt wurden. |
/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. |