Freigeben über


RemoveLockForwardRead2-Regel (wdm)

Die RemoveLockForwardRead2-Regel überprüft, ob Aufrufe von IoAcquireRemoveLock und IoReleaseRemoveLock ordnungsgemäß verwendet werden, wenn ein IRP mithilfe von IoCallDriver an ein anderes Gerät weitergeleitet wird.

Treibermodell: WDM

So führen Sie einen Test durch

Zur Kompilierungszeit

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

Führen Sie die folgenden Schritte aus, um eine Analyse des Codes auszuführen:
  1. Bereiten Sie Ihren Code vor (verwenden Sie Rollentypdeklarationen).
  2. Führen Sie statische Treiberüberprüfung aus.
  3. Anzeigen und Analysieren der Ergebnisse.

Weitere Informationen finden Sie unter Using Static Driver Verifier to Find Defects in Drivers.

Gilt für:

ExInterlockedInsertHeadList ExInterlockedInsertTailListExInterlockedPushEntryListInsertHeadListIoAcquireRemoveLockIoCallDriverIoCsqInsertIrp IoCsqInsertIrpExIoReleaseRemoveLockPoCallDriverRemoveHeadList