IrqlObPassive-Regel (wdm)
Die IrqlObPassive-Regel gibt an, dass der Treiber ObReferenceObjectByHandle nur aufruft, wenn er bei IRQL = PASSIVE_LEVEL ausgeführt wird.
Treibermodell: WDM
Fehlerüberprüfungen mit dieser Regel gefunden: Fehlerprüfung 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001B)
Beim Kompilieren: |
---|
Führen Sie Static Driver Verifier aus , und geben Sie die IrqlObPassive-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. |
Zur Laufzeit |
---|
Führen Sie Driver Verifier aus, und wählen Sie die Option DDI-Konformitätsüberprüfung aus . |