Share via


Controllo MDL invariante per driver

L'opzione Controllo MDL invariante per driver monitora il modo in cui il driver gestisce i buffer MDL invarianti per ogni driver. Questa opzione rileva modifiche non valide dei buffer MDL invarianti. Per usare questa opzione, è necessario abilitare la verifica di I/O in almeno un driver.

Nota Questa opzione è disponibile a partire da Windows 8.

L'opzione Controllo MDL invariante per driver esegue una forma più intensa del controllo MDL invariante rispetto all'opzione Controllo MDL invariante per stack . Quando il controllo MDL invariante per driver è attivo, l'invarianza del buffer viene convalidata in ogni chiamata alle routine IoCallDriver e IoCompleteRequest .

Ogni volta che viene visualizzato un nuovo buffer MDL invariante con un IRP, Driver Verifier calcola una firma per il contenuto del buffer e lo archivia nel database interno. Quando Driver Verifier rileva un buffer MDL invariante rilevato in precedenza, verificherà che il contenuto del buffer non sia stato modificato, confrontando la firma nel database con la firma calcolata rispetto al contenuto corrente del buffer MDL invariante.

Questa opzione è globale e non può essere applicata selettivamente alcuni driver.

Attivazione di questa opzione

È possibile attivare la funzionalità Controllo MDL invariante per driver per uno o più driver usando Gestione verifica driver o la riga di comando Verifier.exe. Per informazioni dettagliate, vedere Selezione delle opzioni di verifica driver. È necessario riavviare il computer per attivare o disattivare l'opzione Controllo MDL invariante per driver.

Per attivare l'opzione Controllo MDL invariante per stack , è necessario attivare anche la verifica di I/O.

  • Nella riga di comando

    Nella riga di comando, il controllo MDL invariante per il driver è rappresentato dal verifier /flags 0x00004000 (Bit 14). Per attivare Controllo MDL invariante per driver, usare un valore flag di 0x00004010 o aggiungere 0x00004010 al valore del flag. Questo valore attiva la verifica di I/O (0x10) e il controllo MDL invariante per il driver (0x00004000). Ad esempio:

    verifier /flags 0x00004010 /driver MyDriver.sys
    

    La funzionalità sarà attiva dopo l'avvio successivo.

  • Uso di Gestione verifica driver

    1. Avviare Gestione verifica driver. Digitare Verifier in una finestra del prompt dei comandi.
    2. Selezionare Crea impostazioni personalizzate (per sviluppatori di codice) e quindi fare clic su Avanti.
    3. Selezionare Seleziona singole impostazioni da un elenco completo.
    4. Selezionare (controllo)Verifica di I/O e Controllo MDL invariante per il driver.
    5. Riavviare il computer.