Verifica della conformità DDI

Articolo
02/06/2024

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).

Verifica della conformità DDI

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

Quando questa opzione è attiva e Driver Verifier rileva che il driver viola una delle regole di conformità DDI, Driver Verifier genera 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

IrqlKeDispatchLte

IrqlKeReleaseSpinLock

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 di verifica 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).

Nella riga di comando

Nella riga di comando il controllo di conformità DDI è rappresentato dal verifier /flags 0x00020000 (Bit 17). Per attivare il controllo della conformità DDI, usare il valore del flag 0x00020000 o aggiungere 0x00020000 al valore del flag. Ad esempio:
```
verifier /flags 0x00020000 /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) Controllo conformità DDI.
5. Riavviare il computer.

Controllo di conformità DDI (aggiuntivo)

A partire da Windows 8.1, l'opzione controllo 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 Verifica conformità DDI (aggiuntiva), vengono testate le regole seguenti:

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

Nota

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

È possibile attivare le regole di controllo di 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 di verifica driver. È necessario riavviare il computer per attivare o disattivare l'opzione controllo di conformità DDI (aggiuntiva).

Nella riga di comando

Nella riga di comando, il controllo di conformità DDI è rappresentato dal verifier /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. Ad esempio:
```
verifier /flags 0x00080000 /driver MyDriver.sys
```
La funzionalità sarà attiva dopo l'avvio successivo.
Uso di Gestione verifica driver
1. Per 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) Controllo conformità DDI (aggiuntivo).Select (check) DDI compliance check (additional).
5. Riavviare il computer.

Attivazione dell'opzione controllo di 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 di verifica driver. È necessario riavviare il computer per attivare o disattivare le regole IRQL aggiuntive di conformità DDI.

Nella riga di comando, il controllo IRQL aggiuntivo di Conformità DDI è rappresentato da un valore della classe della regola pari a 35. Ad esempio:

verifier /ruleclasses 35 /driver MyDriver.sys

verifier /rc 35 /driver MyDriver.sys

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