Freigeben über


IrqlRtlPassive-Regel (wdm)

Die IrqlRtlPassive-Regel gibt an, dass der Treiber "RtlDeleteRegistryValue" nur aufruft, wenn er bei IRQL mit PASSIVE_LEVEL ausgeführt wird.

Treibermodell: WDM

Fehlerüberprüfungen, die mit dieser Regel gefunden wurden: Fehlerüberprüfung 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001E )

So führen Sie einen Test durch

Zur Kompilierzeit

Führen Sie statische Treiberüberprüfung aus , und geben Sie die IrqlRtlPassive-Regel an.

Führen Sie die folgenden Schritte aus, um eine Analyse Ihres Codes durchzuführen:
  1. Bereiten Sie Ihren Code vor (verwenden Sie Rollentypendeklarationen).
  2. Static Driver Verifier ausführen.
  3. Anzeigen und Analysieren der Ergebnisse.

Weitere Informationen finden Sie unter Static Driver Verifier zum Auffinden von Defekten in Treibern verwenden.

Zur Laufzeit

Führen Sie die Treiberüberprüfung aus , und wählen Sie die DDI-Konformitätsüberprüfungsoption aus.

Gilt für:

RtlDeleteRegistryValue