Condividi tramite


Set di regole IRQL (KMDF)

Usare queste regole per verificare che il driver effettui chiamate DDI al livello IRQL richiesto.

Un driver che non segue le regole IRQL può causare gravi problemi durante l'operazione che possono portare a condizioni di deadlock o arresti anomali del computer.

In questa sezione

Argomento Descrizione

KmdfIrql

La regola KmdfIrql specifica che un driver chiama un metodo framework in un IRQL minore o uguale al valore irQL massimo per tale metodo.

KmdfIrql2

La regola KmdfIrql2 specifica che un driver chiama un metodo framework in un IRQL minore o uguale al valore irQL massimo per tale metodo.

UsbKmdfIrql

La regola UsbKmdfIrql specifica che un driver KMDF non chiama interfacce DDI (Device Driver Interface) specifiche di USB a livello di IRQL non corretto.

UsbKmdfIrql2

La regola UsbKmdfIrql2 specifica che un driver KMDF non deve chiamare DDI specifiche di USB a livello di IRQL non corretto.

UsbKmdfIrqlExplicit

La regola UsbKmdfIrqlExplicit verifica che le DDI KMDF vengano chiamate a livello di IRQL corretto. Questa regola si applica a tutte le funzioni EvtIoCallback.

WdfRequestSendSyncAtDispatch

La regola WdfRequestSendSyncAtDispatch verifica che la funzione WdfRequestSend venga inviata al livello di priorità IRQL corretto.

WdfRequestSendSyncAtDispatch2

La regola WdfRequestSendSyncAtDispatch2 verifica che la funzione WdfRequestSend venga inviata al livello di priorità IRQL corretto.

Per selezionare il set di regole Irql

  1. Selezionare il progetto driver (.vcxProj) in Microsoft Visual Studio. Dal menu Driver fare clic su Launch Static Driver Verifier...(Avvia verifica driver statico...).

  2. Fare clic sulla scheda Regole . In Set di regole selezionare Irql.

    Per selezionare il set di regole predefinito da una finestra del prompt dei comandi per sviluppatori di Visual Studio, specificare Irql.sdv con l'opzione /check . Per esempio:

    msbuild /t:sdv /p:Inputs="/check:Irql.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32
    

    Per altre informazioni, vedere Uso di Static Driver Verifier per individuare difetti nei driver e Comandi di Static Driver Verifier (MSBuild).