Condividi tramite


Controllo della conformità DDI

L'opzione di controllo della conformità DDI (Device Driver Interface) determina se il driver interagisce correttamente con il kernel del sistema operativo Windows.

Nota Questa opzione è disponibile a partire da Windows 8. A partire da Windows 8.1, è possibile testare regole aggiuntive selezionando l'opzione Attivazione del controllo di conformità DDI (aggiuntivo).

Controllo della conformità DDI

L'opzione di controllo della conformità DDI applica le stesse regole di utilizzo della Device Driver Interface (DDI) usate da Static Driver Verifier per verificare che il driver effettui chiamate di funzione al livello di richiesta di interrupt (IRQL) richiesto per la funzione, o acquisisca e rilasci correttamente gli spinlock.

Quando questa opzione è attiva e Driver Verifier rileva che il driver viola una delle regole di conformità DDI, Driver Verifier rilascia il controllo dei bug 0xC4 (con parametro 1 uguale all'identificatore della regola di conformità specifica).

Quando si seleziona l'opzione di controllo della conformità DDI, vengono incluse le regole seguenti.

GuardedRegions (a partire da Windows 8.1)

IoSetCompletionExCompleteIrp (a partire da Windows 8.1)

IrqlApcLte

IrqlDispatch

IrqlExAllocatePool

IrqlExApcLte1

IrqlExApcLte2

IrqlExApcLte3

IrqlExPassive

IrqlIoApcLte

IrqlIoDispatch

IrqlIoPassive1

IrqlIoPassive2

IrqlIoPassive3

IrqlIoPassive4

IrqlIoPassive5

IrqlKeApcLte1

IrqlKeApcLte2

IrqlKeDispatchLte

IrqlKeReleaseSpinLock

IrqlKeSetEvent

IrqlMmApcLte

IrqlMmDispatch

IrqlObPassive

IrqlPsPassive

IrqlReturn (a partire da Windows 8.1)

IrqlRtlPassive

IrqlZwPassive

NdisOidComplete (a partire da Windows 8.1)

NdisOidDoubleComplete (a partire da Windows 8.1)

PnpRemove (a partire da Windows 8.1)

RequestedPowerIrp (a partire da Windows 8.1)

QueuedSpinLock (a partire da Windows 8.1)

SpinLock (a partire da Windows 8.1)

Queste due regole sono attualmente facoltative, ma consigliate.

(Facoltativo) IrqlNtifsApcPassive

(Facoltativo) IrqlIoRtlZwPassive

Attivazione dell'opzione di controllo della conformità DDI

È possibile attivare la funzionalità di controllo della conformità DDI 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 di controllo della conformità DDI. La funzionalità di controllo della conformità DDI viene attivata quando si usano le impostazioni standard (/standard).

  • Alla riga di comando

    Nella riga di comando il controllo di conformità DDI è rappresentato dal verificatore /flags 0x00020000 (bit 17). Per attivare il controllo di conformità DDI, usare un valore flag di 0x00020000 o aggiungere 0x00020000 al valore del flag. Per esempio:

    verifier /flags 0x00020000 /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 (controllo) Controllo della conformità DDI.
    5. Riavviare il computer.

Controllo della conformità DDI (aggiuntivo)

A partire da Windows 8.1, l'opzione di controllo della conformità DDI (aggiuntiva) fornisce regole aggiuntive per determinare se il driver interagisce correttamente con il kernel del sistema operativo Windows. Quando si seleziona l'opzione controllo di conformità DDI (aggiuntiva), vengono testate le regole seguenti:

Attivazione dell'opzione di controllo della conformità DDI (aggiuntiva)

Annotazioni

Questo controllo è deprecato a partire da Windows 10 Build 19042 e versioni successive

È possibile attivare le regole di controllo della conformità DDI (aggiuntive) 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 di conformità DDI (aggiuntiva).

  • Alla riga di comando

    Nella riga di comando il controllo di conformità DDI è rappresentato dal verificatore /flags 0x00080000 (bit 19). Per attivare il controllo di conformità DDI (aggiuntivo), usare un valore flag di 0x00080000 o aggiungere 0x00080000 al valore del flag. Per esempio:

    verifier /flags 0x00080000 /driver MyDriver.sys
    

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

  • Uso del Driver Verifier Manager

    1. Per avviare Driver Verifier Manager, 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 Controllo della conformità DDI (aggiuntivo).
    5. Riavviare il computer.

Attivazione dell'opzione di verifica conformità DDI (IRQL aggiuntivo)

È possibile attivare le regole IRQL aggiuntive per la conformità DDI per uno o più driver usando la riga di comando Verifier.exe. Per informazioni dettagliate, vedere Selezione delle Opzioni del Verificatore Driver. È necessario riavviare il computer per attivare o disattivare le regole IRQL aggiuntive per la conformità DDI.

Nella riga di comando, il controllo aggiuntivo di IRQL per la conformità di DDI è rappresentato da un valore della classe di regole pari a 35. Per esempio:

verifier /ruleclasses 35 /driver MyDriver.sys

OR

verifier /rc 35 /driver MyDriver.sys

Il set di regole IRQL aggiuntivo è costituito dalle due regole seguenti.

(Facoltativo) IrqlNtifsApcPassive

(Facoltativo) IrqlIoRtlZwPassive