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 offre una modalità di controllo più intensiva rispetto alla modalità di controllo dell'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, verifica 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 ad alcuni driver.

Attivazione di questa opzione

È possibile attivare la funzionalità Controllo MDL invariante per uno o più driver usando Gestione verifica driver o la riga di comando Verifier.exe. Per informazioni dettagliate, vedere Selezione delle Opzioni del Verificatore 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.

• Alla riga di comando

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

  verifier /flags 0x00004010 /driver MyDriver.sys
  

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

• Uso del Driver Verifier Manager

  1. Avviare il Manager 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 Selezionare le singole impostazioni da un elenco completo.
  4. Selezionare (seleziona)Verifica di I/O e Controllo degli MDL invarianti per il driver.
  5. Riavviare il computer.