Sintassi dei comandi di Driver Verifier

La sintassi seguente viene utilizzata quando si esegue l'utilità Verifier in una finestra del prompt dei comandi.

È possibile digitare diverse opzioni nella stessa riga singola. Ad esempio:

verifier /flags 7 /driver beep.sys disksdd.sys

Sintassi Windows 11

È possibile usare il / volatile parametro con alcune opzioni Driver Verifier /flags . Per informazioni dettagliate, vedere Uso delle impostazioni volatili.

Nota

Il parametro /volatile verrà deprecato in una versione futura di Windows. In Windows 11 l'opzione di sostituzione è l'opzione /dif DifEnabledRule/now. Vedere la sezione Windows 11 Classi di regole di seguito per le classi di regole che possono essere abilitate usando questa opzione.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /all
  verifier {/ruleclasses | /rc | dif} <options> [<ruleclass_1> <ruleclass_2> ...] /driver NAME [NAME ...]
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /dif [<ruleclass_1> <ruleclass_2> ...] /now /driver NAME [NAME ...]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
  verifier /bc <number_of_reboots>
  verifier /reset
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /domain <types> <options> /driver ... [/logging | /livedump]
  verifier /logging
  verifier /livedump
  verifier /?
  verifier /help

Sintassi Windows 10

È possibile usare il parametro /volatile con alcune opzioni Driver Verifier /flags e con /standard. Non è possibile usare /volatile con le opzioni /flags per il controllo della conformità DDI, Power Framework Delay Fuzzing o Storport Verification.You cannot use /volatile with the /flags options for DDI compliance check, Power Framework Delay Fuzzing or Storport Verification. Per informazioni dettagliate, vedere Uso delle impostazioni volatili.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier {/ruleclasses | /rc} <options> [<ruleclass_1> <ruleclass_2> ...] /all
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | resetonbootfail | resetonunusualshutdown | oneboot]
  verifier /reset
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /domain <types> <options> /driver ... [/logging | /livedump]
  verifier /logging
  verifier /livedump
  verifier /?
  verifier /help

Sintassi Windows 8.1

È possibile usare il parametro /volatile con alcune opzioni Driver Verifier /flags e con /standard. Non è possibile usare /volatile con le opzioni /flags per il controllo della conformità DDI, Power Framework Delay Fuzzing, Storport Verification. Per informazioni dettagliate, vedere Uso delle impostazioni volatili.

  verifier /standard /all
  verifier /standard /driver NAME [NAME ...]
  verifier /flags <options> /all
  verifier /flags <options> /driver NAME [NAME ...]
  verifier /rules [OPTION ...]
  verifier /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /faultssystematic [OPTION ...]
  verifier /log LOG_FILE_NAME [/interval SECONDS]
  verifier /query
  verifier /querysettings
  verifier /bootmode [persistent | disableafterfail | oneboot]
  verifier /reset
  verifier /volatile /flags <options>
  verifier /volatile /adddriver NAME [NAME ...]
  verifier /volatile /removedriver NAME [NAME ...]
  verifier /volatile /faults [Probability] [PoolTags] [Applications] [DelayMins]
  verifier /?

Windows 8, sintassi di Windows 7

È possibile usare il parametro /volatile con alcune opzioni Driver Verifier /flags e con /standard. Non è possibile usare /volatile con le opzioni /flags per il controllo della conformità DDI, Power Framework Delay Fuzzing, Storport Verification, SCSI Verification o con /disk. Per informazioni dettagliate, vedere Uso delle impostazioni volatili.

verifier [/volatile] [/standard | /flags Options ] [ /all | /driver DriverList ]
verifier /volatile /faults [Probability PoolTags Applications DelayMins] /driver DriverList
verifier /volatile {/adddriver | /removedriver} DriverList
verifier /reset
verifier /querysettings
verifier /query
verifier /log LogFileName [/interval Seconds]
verifier /?

Parametri

Sintassi di verifica Command-Line

/Tutti Indirizza Driver Verifier per verificare tutti i driver installati dopo l'avvio successivo.

/bc <number_of_reboots> Imposta il numero di riavvii per i quali la verifica deve essere attiva.

Questa opzione imposta automaticamente la modalità di avvio ResetOnUnusualShutdown.

/bootmodemode Controlla se le impostazioni per Driver Verifier sono abilitate dopo un riavvio. Per impostare o modificare questa opzione, è necessario riavviare il computer.

Bootmode Description

Persistente

Assicura che le impostazioni di Driver Verifier rimangano persistenti (rimangono effettive) in molti riavvii. Si tratta dell'impostazione predefinita.

resetonbootfail

Disabilita Driver Verifier per i riavvii successivi se l'avvio del sistema non è riuscito.

oneboot

Abilita solo le impostazioni di Driver Verifier per la successiva avvio del computer. Driver Verifier è disabilitato per i riavvii successivi.

resetonunusualshutdown

(Introdotto in Windows 10, build 1709) Driver Verifier persiste fino a quando non si verifica un arresto insolito. È possibile usare l'abbreviazione "rous".

/difDifEnabledRule Abilitare il controllo usando una regola abilitata per DIF. Il controllo avrà effetto alla successiva riavvio del sistema. Aggiunta in Windows 11.

/difDifEnabledRule/now Abilitare immediatamente il controllo usando una regola abilitata per DIF. Abilita immediatamente le classi di regole senza dover riavviare. Questa opzione è valida solo se non sono già in esecuzione classi di regole. Vedere le descrizioni delle classi delle regole Windows 11 per le classi di regole in grado di attivazione immediata.

/driverDriverList Specifica uno o più driver che verranno verificati. DriverList è un elenco di driver in base al nome binario, ad esempio Driver.sys. Usare uno spazio per separare ogni nome del driver. I valori con caratteri jolly, ad esempio n*.sys, non sono supportati.

/driver.excludeDriverList specifica uno o più driver che verranno esclusi dalla verifica. Questo parametro è applicabile solo se tutti i driver sono selezionati per la verifica. DriverList è un elenco di driver in base al nome binario, ad esempio Driver.sys. Usare uno spazio per separare ogni nome del driver. I valori con caratteri jolly, ad esempio n*.sys, non sono supportati.

/Difetti Abilita la funzionalità Simulazione risorse basse in Driver Verifier. È possibile usare /faults al posto di /flags 0x4. Non è tuttavia possibile usare /flags 0x4 con i sottoparametri /faults .

È possibile usare i sottoparametri seguenti del parametro /faults per configurare Simulazione risorse basse.

Sottoparametro Description

Probabilità

Specifica la probabilità che Driver Verifier non riuscirà a una determinata allocazione. Digitare un numero (in decimale o esadecimale) per rappresentare il numero di probabilità in 10.000 che l'allocazione del driver Verifier avrà esito negativo. Il valore predefinito, 600, indica 600/10000 o 6%.

Tag del pool

Limita le allocazioni che Driver Verifier può non riuscire ad allocazioni con i tag del pool specificati. È possibile usare un carattere jolly (*) per rappresentare più tag del pool. Per elencare più tag del pool, separare i tag con gli spazi. Per impostazione predefinita, tutte le allocazioni possono avere esito negativo.

Applicazioni

Limita le allocazioni che Driver Verifier può non riuscire ad allocazioni per il programma specificato. Digitare il nome di un file eseguibile. Per elencare i programmi, separare i nomi dei programmi con spazi. Per impostazione predefinita, tutte le allocazioni possono avere esito negativo.

DelayMins

Specifica il numero di minuti dopo l'avvio durante il quale Driver Verifier non ha intenzionalmente esito negativo in alcuna allocazione. Questo ritardo consente ai driver di caricare e il sistema di stabilizzarsi prima dell'inizio del test. Digitare un numero (in decimale o esadecimale). Il valore predefinito è 7 (minuti).

/faultssystematic Specifica le opzioni per la simulazione sistematica delle risorse basse. Usare il flag 0x40000 per selezionare l'opzione Di simulazione sistematica delle risorse basse.

OPTION Description

enableboottime

Abilita le iniezioni di errore tra i riavvii del computer.

disableboottime

Disabilita gli inserimenti di errori tra i riavvii del computer (questa è l'impostazione predefinita).

recordboottime

Abilita le iniezioni di errore in modalità di simulazione tra i riavvii del computer.

resetboottime

Disabilita gli inserimenti di errori tra i riavvii del computer e cancella l'elenco di esclusione dello stack.

enableruntime

Abilita dinamicamente gli inserimenti di errore.

disableruntime

Disabilita dinamicamente gli inserimenti di errore.

recordruntime

Abilita dinamicamente gli inserimenti di errore in modalità if .

resetruntime

Disabilita in modo dinamico gli inserimenti di errore e cancella l'elenco di stack con errori in precedenza.

querystatistici

Mostra le statistiche di inserimento degli errori correnti.

incrementcounter

Incrementa il contatore del passaggio di test usato per identificare quando è stato inserito un errore.

getstackid COUNTER

Recupera l'identificatore dello stack inserito indicato.

excludestack STACKID

Esclude lo stack dall'inserimento di errori.

/flagsOpzioni Attiva le opzioni specificate dopo il riavvio successivo. Questo numero può essere immesso in formato decimale o esadecimale (con prefisso 0x ). Qualsiasi combinazione dei valori seguenti è consentita.

Decimal Valore esadecimale Impostazione standard Opzione

1

0x1 (bit 0)

X

Pool speciale

2

0x2 (bit 1)

X

Forza il controllo IRQL

4

0x4 (bit 2)

Simulazione di risorse basse

8

0x8 (bit 3)

X

Rilevamento pool

16

0x10 (bit 4)

X

Verifica di I/O

32

0x20 (bit 5)

X

Rilevamento deadlock

64

0x40 (bit 6)

Verifica di I/O avanzata Questa opzione viene attivata automaticamente quando si seleziona Verifica di I/O

128

0x80 (bit 7)

X

Verifica DMA

256

0x100 (bit 8)

X

Controlli di sicurezza

512

0x200 (bit 9)

Forzare le richieste di I/O in sospeso

1024

0x400 (bit 10)

Registrazione IRP

2048

0x800 (bit 11)

X

Controlli vari

8192

0x2000 (bit 13)

Controllo MDL invariante per stack (a partire da Windows 8)

16384

0x4000 (bit 14)

Controllo MDL invariante per driver (a partire da Windows 8)

32768

0x8000 (bit 15)

Ritardo di Power Framework Fuzzing (a partire da Windows 8) (deprecato in Windows 10 Build 19042 e versioni successive)

65536

0x10000 (bit 16)

Controllo dell'interfaccia porta/miniport (a partire da Windows 10)

131072

0x20000 (bit 17)

X

Controllo conformità DDI (A partire da Windows 8)

262144

0x40000 (bit 18)

Simulazione sistematica di risorse basse (a partire da Windows 8.1) (Deprecata in Windows 10 Build 19042 e versioni successive)

524288

0x80000 (bit 19)

Controllo di conformità DDI (aggiuntivo) (A partire da Windows 8.1) (Deprecato in Windows 10 Build 19042 e versioni successive)

2097152

0x200000 (bit 21)

Verifica NDIS/WIFI (a partire da Windows 8.1)

8388608

0x800000 (bit 23)

Ritardo della sincronizzazione del kernel (A partire da Windows 8.1) (Deprecato in Windows 10 Build 19042 e versioni successive)

16777216

0x1000000 (bit 24)

Verifica del commutatore di macchine virtuali (a partire da Windows 8.1)

33554432

0x2000000 (bit 25)

Controlli di integrità del codice (a partire da Windows 10)

Non è possibile usare questo metodo per attivare le opzioni di verifica storport. Per informazioni, vedere Verifica storport.

/flagsVolatileOptions Specifica le opzioni Di verifica driver che vengono modificate immediatamente senza riavviare.

È possibile usare il parametro /volatile con tutti i valori /flags .

Immettere un numero in formato decimale o esadecimale (con un prefisso 0x ).

È consentita qualsiasi combinazione dei valori seguenti.

Valore esadecimale Opzione

0x00000004 (bit 2)

Simulazione di risorse basse casuali

0x00000020 (bit 5)

Rilevamento deadlock

0x00000080 (bit 7)

Controllo DMA

0x00000200 (bit 9)

Forzare le richieste di I/O in sospeso

0x00000400 (bit 10)

Registrazione IRP

/ruleclasses o /rc<ruleclass_1><ruleclass_2> ... <>ruleclass_k

Il parametro ruleclasses è disponibile a partire da Windows Versione 1803.

Il parametro ruleclasses include un set più ampio di classi di verifica rispetto al parametro /flags precedente. Anche se /flags è limitato a un'espressione bitmap a 32 bit, questa opzione può includere più di 32 classi di verifica. Ogni numero intero decimale positivo rappresenta una classe di verifica. È possibile esprimere più classi separando ogni ID classe con un carattere di spazio. Sono disponibili gli ID delle classi di regole seguenti.

Classi di regole standard

Valore Regola
1 Piscina speciale
2 Forzare il controllo IRQL
4 Monitoraggio pool
5 Verifica di I/O
6 Rilevamento deadlock
8 Controllo DMA
9 Controlli di sicurezza
12 Controlli vari
18 Verifica della conformità DDI
34 Verifica WDF
37 Verifica filtro file system (5)

Classi di regole aggiuntive

Queste classi di regole sono destinate a test di scenari specifici. Le classi di regole contrassegnate con (*) richiedono la verifica di I/O (5) e la abilitano automaticamente. Classi di regole contrassegnate con (**) supporto per la disabilitazione delle singole regole. Le classi di regole contrassegnate con (***) sono in modalità di registrazione per impostazione predefinita e richiedono /onecheck per arrestarsi in modo anomalo in caso di violazione.

I flag contrassegnati con (!) richiedono l'abilitazione della modalità DIF (classe di regola 36).

Valore Regola
3 Simulazione casuale di risorse basse
10 Forzare le richieste di I/O in sospeso (*)
11 Registrazione IRP (*)
14 Controllo MDL invariante per lo stack (*)
15 Controllo MDL invariante per il driver (*)
16 Ritardo della fuzzing del framework di alimentazione
17 Controllo dell'interfaccia porta/miniport
19 Simulazione sistematica di risorse basse
20 Controllo di conformità DDI (aggiuntivo)
22 Verifica NDIS/WIFI (**)
24 Ritardo sincronizzazione kernel fuzzing
25 Verifica del commutatore di macchina virtuale
26 Controlli di integrità del codice
33 Controlli di isolamento del driver (**, !)
36 Modalità DIF

classi di regole Windows 11

A partire da Windows 11 sono disponibili le classi di regole standard seguenti. Queste classi di regole sono tutte abilitate quando si usa l'opzione /standard .

La colonna /now indica quali classi di regole possono essere abilitate senza riavviare usando l'opzione /dif DifEnabledRule/now.

Classi di regole standard

Valore Regola /ora
1 Piscina speciale
2 Forzare il controllo IRQL
4 Rilevamento pool
5 Verifica di I/O
6 Rilevamento deadlock no
8 Controllo DMA no
9 Controlli di sicurezza
12 Controlli vari
18 Controllo della conformità DDI
34 Verifica WDF no
37 Verifica filtro file system no

Si noti che la classe di regola 37 (verifica filtro file system) richiede che la classe di regola 5 (verifica I/O) sia abilitata anche. Per altre informazioni su questa classe di regola, vedere Verifica filtro file system .

Classi di regole aggiuntive

Sono disponibili le classi di regole aggiuntive seguenti.

  • La colonna /now indica quali classi di regole possono essere abilitate senza un riavvio usando l'opzione /dif DifEnabledRule/now.
  • La colonna Classe Rule obbligatoria indica quali classi di regole devono essere abilitate anche per l'uso della classe di regola specificata. Si noti che il comando /dif include automaticamente la classe di regola 36 (modalità DIF), ma /ruleclasses e /rc non fare.
  • Classi di regole contrassegnate con (**) supporto per la disabilitazione delle singole regole.
  • Le classi di regole contrassegnate con (***) sono in modalità di registrazione per impostazione predefinita e richiedono l'opzione /onecheck per arrestare l'arresto anomalo in caso di violazione.
Valore Regola /ora Classi di regole necessarie
3 Simulazione di risorse basse casuali no Nessuno
10 Forzare le richieste di I/O in sospeso no 5
11 Registrazione IRP no 5
14 Controllo MDL invariante per lo stack no 5
15 Controllo MDL invariante per il driver no 5
16 Ritardo della fuzzing del framework di alimentazione no Nessuno
17 Controllo dell'interfaccia porta/miniport no Nessuno
19 Simulazione sistematica di risorse basse 36
20 Controllo della conformità DDI - Aggiuntivo Nessuno
22 Verifica NDIS/WIFI (**) no Nessuno
24 Ritardo della sincronizzazione del kernel no Nessuno
25 Verifica del commutatore della macchina virtuale no Nessuno
26 Controlli di integrità del codice no Nessuno
33 Controlli di isolamento del driver (***) no 36
36 Modalità DIF Nessuno

/logLogFileName [/interval|Seconds] Crea un file di log con il nome LogFileName. Driver Verifier scrive periodicamente le statistiche in questo file. Per informazioni dettagliate, vedere Creazione di file di log.

Se nella riga di comando viene digitato un comando di verifica /log , il prompt dei comandi non restituisce. Per chiudere il file di log e restituire un prompt, usare il tasto CTRL+C. Dopo un riavvio, per creare un log, è necessario inviare di nuovo il comando di verifica /log .

Opzione Description
/interval Seconds Specifica l'intervallo tra gli aggiornamenti dei file di log. Il valore predefinito è 30 secondi.

/rulesOpzioni opzioni per le regole che possono essere disabilitate (avanzate).

Opzione Description

query

Mostra lo stato corrente delle regole controllabili.

reset

reimposta tutte le regole sullo stato predefinito.

IDpredefinito

Imposta l'ID regola sullo stato predefinito. Per le regole supportate, l'ID regola è il valore 1 del parametro Controllo bug 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION).

disableID

Disabilita l'ID regola specificato. Per le regole supportate, l'ID regola è il valore 1 del parametro Controllo bug 0xC4 (DRIVER_VERIFIER_DETECTED_VIOLATION).

/Standard Attiva le opzioni "standard" o predefinite di Driver Verifier dopo l'avvio successivo. Le opzioni standard sono Pool speciale, Force IRQL Checking, Pool Tracking, I/O Verification, Deadlock Detection, DMA Verification. e Verifica WDF Le opzioni standard includono anche controlli di sicurezza, controlli vari e controllo di conformità DDI.

Nota

A partire da Windows 10 versioni successive alla 1803, l'uso di /flags 0x209BB non abiliterà più automaticamente la verifica WDF. Usare la sintassi /standard per abilitare le opzioni standard, con la verifica WDF inclusa.

/Fermare Disabilita le classi di regole abilitate tramite '/dif /now' per interrompere la verifica.

/volatile /flags Modifica le impostazioni senza riavviare il computer. Le impostazioni volatili diventano effettive immediatamente. È possibile usare il parametro /volatile con il parametro /flags per abilitare e disabilitare alcune opzioni senza riavviare. È anche possibile usare /volatile con i parametri /adddriver e /removedriver per avviare o arrestare la verifica di un driver senza riavviare, anche se Driver Verifier non è già in esecuzione.

Specifica le opzioni Di verifica driver che vengono modificate immediatamente senza riavviare. Solo i flag seguenti possono essere usati con volatile:

0x00000004 (bit 2) - Simulazione casuale di risorse basse 0x00000020 (bit 5) - Rilevamento dei deadlock 0x00000080 (bit 7) - Controllo DMA 0x00000200 (bit 9) - Forzare le richieste di I/O in sospeso 0x00000400 (bit 10) - Registrazione IRP

Per informazioni dettagliate, vedere Uso delle impostazioni volatili.

Opzione Description

/adddriverVolatileDriverList

Aggiunge i driver specificati alle impostazioni volatili. Per specificare più driver, elencarne i nomi, separati da spazi. I valori con caratteri jolly, ad esempio n.sys, non sono supportati. Per informazioni dettagliate, vedere Uso delle impostazioni volatili .

/removedriverVolatileDriverList

Rimuove i driver specificati dalle impostazioni volatili. Per specificare più driver, elencarne i nomi, separati da spazi. I valori con caratteri jolly, ad esempio n.sys, non sono supportati. Per informazioni dettagliate, vedere Uso delle impostazioni volatili .

/Reimpostare Cancella tutte le impostazioni di Driver Verifier. Dopo l'avvio successivo, non verrà verificato alcun driver.

/querysettings Visualizza un riepilogo delle opzioni che verranno attivate e i driver che verranno verificati dopo l'avvio successivo. La visualizzazione non include driver e opzioni aggiunte usando il parametro /volatile . Per altri modi per visualizzare queste impostazioni, vedere Visualizzazione delle impostazioni di Verifica driver.

/Query Visualizza un riepilogo dell'attività corrente di Driver Verifier. Il campo Level nella visualizzazione è il valore esadecimale delle opzioni impostate con il parametro /volatile . Per le spiegazioni di ogni statistica, vedere Monitoraggio di contatori globali e monitoraggio dei singoli contatori .

/domainTypes **** Options Controlla le impostazioni dell'estensione del classificatore. Sono supportati i tipi di estensione di verifica seguenti.

Tipi Description

Wdm

Abilita l'estensione del classificatore per i driver WDM.

Ndis

Abilita l'estensione del classificatore per i driver di rete.

Ks

Abilita l'estensione del classificatore per i driver di streaming in modalità kernel.

Audio

Abilita l'estensione del classificatore per i driver audio.

Sono supportate le opzioni di estensione seguenti.

Opzioni Description

rules.default

Abilita le regole di convalida predefinite per l'estensione del verificatore selezionato.

rules.all

Abilita tutte le regole di convalida per l'estensione del verificatore selezionato.

/Registrazione Abilita la registrazione per le regole violate rilevate dalle estensioni di verifica selezionate.

/livedump Abilita la raccolta di dump della memoria attiva per le regole violate rilevate dalle estensioni del verificatore selezionate.

/? Visualizza la Guida della riga di comando.

Per altre informazioni sull'uso di questi comandi, vedere Controlling Driver Verifier and Monitoring Driver Verifier.For more information about the use of these commands, see Controlling Driver Verifier and Monitoring Driver Verifier.

/Guida Visualizza la Guida della riga di comando.

Per altre informazioni sull'uso di questi comandi, vedere Controlling Driver Verifier and Monitoring Driver Verifier.For more information about the use of these commands, see Controlling Driver Verifier and Monitoring Driver Verifier.

Codici restituiti

I valori seguenti vengono restituiti dopo l'esecuzione del verificatore del driver.

0: EXIT_CODE_SUCCESS

1: EXIT_CODE_ERROR

2: EXIT_CODE_REBOOT_NEEDED