regola Flags_Irql (ndis)
La regola Flags_Irql specifica che KeGetCurrentIrql non deve essere chiamata all'interno di funzioni di callback con un parametro del flag a livello di invio che indica l'irQL corrente.
L'uso corretto del flag a livello di invio consente di evitare tentativi non necessari per impostare IRQL. Per altre informazioni su come usare questo flag, vedere Dispatch IRQL Tracking.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola di Flags_Irql . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |