Set di regole IRQL (KMDF)
Usare queste regole per verificare che il driver effettua chiamate DDI all'irQL richiesto.
Un driver che non segue le regole IRQL può causare gravi problemi durante l'operazione che possono causare condizioni di deadlock o arresti anomali del computer.
Contenuto della sezione
| Argomento | Descrizione |
|---|---|
La regola KmdfIrql specifica che un driver chiama un metodo framework in un irQL minore o uguale al valore di IRQL massimo per tale metodo. |
|
La regola KmdfIrql2 specifica che un driver chiama un metodo framework in un irQL minore o uguale al valore massimo di IRQL per tale metodo. |
|
La regola UsbKmdfIrql specifica che un driver KMDF non chiama interfacce del driver di dispositivo specifiche di USB (DDI) a livello irQL non corretto. |
|
La regola UsbKmdfIrql2 specifica che un driver KMDF non deve chiamare DDI specifici di USB a livello irQL non corretto. |
|
La regola UsbKmdfIrqlExplicit verifica che le DDI kmDF vengano chiamate a livello di IRQL corrette. Questa regola si applica a tutte le funzioni EvtIoCallback. |
|
La regola WdfRequestSendSyncAtDispatch verifica che la funzione WdfRequestSend venga inviata al livello di priorità IRQL corretto. |
|
La regola WdfRequestSendSyncAtDispatch2 verifica che la funzione WdfRequestSend venga inviata al livello di priorità IRQL corretto. |
Per selezionare il set di regole Irql
Selezionare il progetto driver (con estensione vcxProj) in Microsoft Visual Studio. Dal menu Driver fare clic su Avvia verifica driver statico....
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 . Ad esempio:
msbuild /t:sdv /p:Inputs="/check:Irql.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei comandi driver e verifica driver statici (MSBuild).