Microsoft Corporation. Tutti i diritti sono riservati. SINTASSI: verifier {/? | /help} verifier /standard /all verifier /standard ...

Copyright (c) Microsoft Corporation. Tutti i diritti sono riservati.

SINTASSI:

    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 | /onecheck]
    verifier /logging
    verifier /livedump
    verifier /onecheck

PARAMETRI:

    /? o /help
        Visualizza questo messaggio della Guida.

    /standard
        Specifica i flag standard di Driver Verifier. È equivalente a 
        '/flags 0x209BB'.

    /all
        Specifica che tutti i driver installati verranno verificati dopo l'avvio
        successivo.

    /driver  [ ...]
        Specifica uno o più driver (nomi di immagine) che verranno verificati.
        I caratteri jolly (ad esempio, n*.sys) non sono supportati.

    /driver.exclude  [ ...]
        Specifica uno o più driver (nomi di immagine) che verranno esclusi
        dalla verifica. Questo parametro è applicabile solo se vengono selezionati
        tutti i driver per la verifica. I caratteri jolly (ad esempio, n*.sys)
        non sono supportati.

    /flags  [ ...]
        Specifica una o più opzioni che devono essere abilitate per la verifica.
        I flag vengono applicati a tutti i driver controllati da Driver Verifier. I valori
        delle opzioni specificati devono essere in formato decimale, esadecimale
        (prefisso "0x"), ottale (prefisso "0o") o binario (prefisso "0b").

        Flag standard:
          Le opzioni standard di Driver Verifier possono essere specificate usando
          '/standard' o '/flags 0x209BB'.

          0x00000001 (bit  0) - Pool speciale
          0x00000002 (bit  1) - Forzatura controllo IRQL
          0x00000008 (bit  3) - Monitoraggio pool
          0x00000010 (bit  4) - Verifica I/O
          0x00000020 (bit  5) - Rilevamento deadlock
          0x00000080 (bit  7) - Controllo DMA
          0x00000100 (bit  8) - Controlli di sicurezza
          0x00000800 (bit 11) - Altri controlli
          0x00020000 (bit 17) - Controllo conformità DDI

        Flag aggiuntivi:
          Questi flag sono destinati al test di scenari specifici. I flag contrassegnati
          con un asterisco (*) richiedono la verifica di I/O (bit 4), che sarà abilitata
          automaticamente. I flag contrassegnati da (**) supportano la disabilitazione 
          di singole regole.

          0x00000004 (bit  2) - Simulazione casuale risorse in esaurimento
          0x00000200 (bit  9) - Forzatura richieste I/O in sospeso (*)
          0x00000400 (bit 10) - Registrazione IRP (*)
          0x00002000 (bit 13) - Verifica MDL invariante per stack (*)
          0x00004000 (bit 14) - Verifica MDL invariante per driver (*)
          0x00008000 (bit 15) - Test con dati casuali sui ritardi del framework di alimentazione
          0x00010000 (bit 16) - Controllo interfaccia porta/miniport
          0x00040000 (bit 18) - Simulazione sistematica risorse in esaurimento
          0x00080000 (bit 19) - Controllo conformità DDI (aggiuntivo)
          0x00200000 (bit 21) - Verifica NDIS/WIFI (**)
          0x00800000 (bit 23) - Test con dati casuali sui ritardi di sincronizzazione del kernel
          0x01000000 (bit 24) - Verifica commutatore macchina virtuale
          0x02000000 (bit 25) - Controlli integrità codice

    /log.code_integrity
        Questa opzione evita le interruzioni per violazioni dell'integrità del
        codice e raccoglie solo le statistiche per i driver verificati. Le statistiche
        possono essere estratte tramite l'opzione /log o il debugger del kernel. Questo 
        parametro è applicabile sono se i controlli di integrità del codice sono abilitati.

    /rules {query | reset | default  | disable }
        Specifica il controllo del livello delle regole (utenti esperti).

          query           Mostra lo stato corrente delle regole controllabili.
          reset           Reimposta tutte le regole sullo  stato predefinito.
          default     Imposta l'ID regola sullo stato predefinito.
          disable     Disabilita l'ID regola specificato.

    /query
        Visualizza le statistiche e le impostazioni di runtime di Driver Verifier.

    /querysettings
        Visualizza un riepilogo delle opzioni e dei driver attualmente
        abilitati oppure delle opzioni e dei driver che verranno verificati dopo
        l'avvio successivo. Non vengono visualizzati i driver e le opzioni aggiunti
        tramite /volatile.

    /bootmode
        Specifica la modalità di avvio di Driver Verifier. Per applicare
        le modifiche è necessario riavviare il sistema.

          persistent        Assicura che le impostazioni di Driver Verifier vengano
                            rese persistenti tra un riavvio e l'altro. Valore
                            predefinito.
          resetonbootfail   Disabilita Driver Verifier per i riavvii successivi
                            se è impossibile avviare il sistema.
          oneboot           Abilita Driver Verifier solo per l'avvio successivo.

    /reset
        Cancella i flag di Driver Verifier e le impostazioni dei driver. Per applicare
        le modifiche è necessario riavviare il sistema.