Condividi tramite

Proprietà del driver Verifier per i progetti del pacchetto driver

Driver Verifier è uno strumento di verifica in fase di esecuzione che aumenta l'efficacia dei test dei driver. È possibile abilitare e configurare Driver Verifier per l'esecuzione in tutti i computer di test quando si distribuisce il driver per i test.

È consigliabile configurare sempre una connessione di debug in modalità kernel con il computer di test quando si abilita Driver Verifier nel computer di test remoto. Per informazioni sulla configurazione di un computer di destinazione e sulla configurazione di un cavo di debug, vedere Introduzione al debug di Windows.

Impostazione delle proprietà del driver Verifier per i progetti di pacchetto driver

  1. Apri le pagine delle proprietà del pacchetto dei driver. Selezionare e tenere premuto (o fare clic con il pulsante destro del mouse) sul progetto del pacchetto driver in Esplora soluzioni e scegliere Proprietà.
  2. Nelle pagine delle proprietà per il pacchetto driver selezionare Proprietà di configurazione, selezionare Installazione driver e quindi selezionare Verifica driver.
  3. Selezionare l'opzione Abilita verifica driver . Quando questa opzione è selezionata, è possibile selezionare il driver o i driver da verificare nel computer di test ed è possibile selezionare le opzioni Driver Verifier da usare.

Configurazione e piattaforma del progetto

L'elenco di configurazioni e la piattaforma consentono di applicare impostazioni di distribuzione diverse per diverse combinazioni di configurazione e piattaforma del progetto. Ad esempio, è possibile distribuire un driver in un computer di test usando un set di opzioni di distribuzione per le compilazioni di debug e in un computer di test diverso usando le opzioni di distribuzione per le build di versione.

Abilitare Driver Verifier

È possibile abilitare Driver Verifier nel computer di test per tutti i driver nel computer, solo per il progetto driver o per un elenco di driver specificati. Ad esempio, è possibile abilitare Driver Verifier per il set di driver nello stack per un determinato dispositivo.

Verificare i driver

Specifica il driver o i driver da verificare nel computer di test.

Tutti i driver
Specifica che Driver Verifier verifica tutti i driver installati nel computer di test remoto.

Output del progetto
Specifica che Driver Verifier verifica il progetto driver installato nel computer di test remoto. Questa è l'opzione predefinita.

Elenco driver
Specifica il driver o l'elenco di driver che Driver Verifier verifica nel computer di test remoto. Ad esempio, è possibile elencare tutti i driver associati a un determinato dispositivo. Specificare i driver in base al nome binario, ad esempio Driver.sys. Usare un punto e virgola per separare un elenco di driver. I valori con caratteri jolly, ad esempio n*.sys, non sono supportati.

Flag standard del Verificatore driver

È possibile configurare le opzioni seguenti di Driver Verifier nel computer di test.

  • Controllo della conformità DDI (Windows 8)

    Quando questa opzione è attiva, Driver Verifier applica un set di regole DDI (Device Driver Interface) che controllano l'interazione corretta tra un driver e l'interfaccia kernel del sistema operativo.

  • Rilevamento stallo

    Quando questa opzione è attiva, Driver Verifier monitora l'uso dei blocchi di rotazione, dei mutex e dei mutex veloci del driver. In questo modo viene rilevato se il codice del driver può causare un deadlock a un certo punto.

  • Verifica DMA

    Quando questa opzione è attiva, Driver Verifier monitora l'uso delle routine di accesso diretto alla memoria (DMA). In questo modo viene rilevato un uso improprio di buffer, adattatori e registri mappa DMA.

  • Forzare il controllo IRQL

    Quando questa opzione è attiva, Driver Verifier applica un'estrema pressione di memoria al driver invalidando il codice pageable. Se il driver tenta di accedere alla memoria impaginata in irQL non corretta o mentre tiene premuto un blocco di selezione, Driver Verifier rileva questo comportamento.

  • Verifica di I/O

    Quando questa opzione è attiva, Driver Verifier alloca i pacchetti di richiesta di interruzione (IRP) del driver da un pool speciale e monitora la gestione di I/O del driver. Ciò rileva l'uso illegale o incoerente delle routine di I/O. Driver Verifier monitora anche le chiamate di diverse routine di I/O Manager ed esegue il test di stress degli IRP Plug-and-Play (PnP), degli IRP di alimentazione e degli IRP WMI.

  • Controlli vari

    Quando questa opzione è attiva, Driver Verifier cerca cause comuni di arresti anomali del driver, ad esempio la gestione errata della memoria liberata.

  • Monitoraggio pool

    Quando questa opzione è attiva, Driver Verifier verifica se il driver ha liberato tutte le allocazioni di memoria quando viene scaricato. Ciò rivela perdite di memoria.

  • Controlli di sicurezza

    Quando questa opzione è attiva, Driver Verifier cerca errori comuni che possono causare vulnerabilità di sicurezza, ad esempio un riferimento agli indirizzi in modalità utente da routine in modalità kernel.

  • Controllo speciale del pool

    Quando questa opzione è attiva, Driver Verifier alloca la maggior parte delle richieste di memoria del driver da un pool speciale. Questo pool speciale viene monitorato per sovrascrittura della memoria, sottoutilizzo della memoria e la memoria a cui si accede dopo che è stata rilasciata.

Impostazioni specifiche dello scenario di verifica driver

Opzioni di Verifica Driver che richiedono Verifica I/O

Sono disponibili quattro opzioni che richiedono prima di tutto di abilitare la verifica di I/O. Se la verifica di I/O non è abilitata, queste opzioni non sono abilitate.

  • Last updated on