IrqlKeRaiseLower-Regel (wdm)
Die IrqlKeRaiseLower-Regel gibt an, dass der Treiber beim Heben und Senken des IRQL folgendes ausführt:
Wenn der Treiber KeRaiseIrql aufruft, wird er an einem IRQL ausgeführt, der niedriger oder gleich dem Wert des NewIrql-Parameters ist. Der Treiber ruft KeLowerIrql nur nach dem Aufruf von KeRaiseIrql oder KeRaiseIrqlToDpcLevel auf. Diese Regel lässt geschachtelte Aufrufe von KeRaiseIrql, KeRaiseIrqlToDpcLevel und KeLowerIrql zu.
Treibermodell: WDM
So führen Sie einen Test durch
| Beim Kompilieren: |
|---|
Führen Sie Static Driver Verifier aus , und geben Sie die IrqlKeRaiseLower-Regel an. Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden. |