Regola IrqlReturn (wdm)
La regola IrqlReturn specifica che le routine dispatch del driver restituiscono allo stesso IRQL in corrispondenza del quale sono state chiamate. Per altre informazioni sui runtime di integrazione in corrispondenza dei quali vengono chiamate correttamente le routine dispatch, vedere Dispatch Routines and IRQLs.For more information about the IRQLs at which dispatch routines are properly called, see Dispatch Routines and IRQLs.
Modello di driver: WDM
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola IrqlReturn . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers. |