Freigeben über


RemoveLockForwardWrite-Regel (wdm)

Die RemoveLockForwardWrite-Regel überprüft, ob Aufrufe von IoAcquireRemoveLock und IoReleaseRemoveLock ordnungsgemäß verwendet werden, wenn ein IRP mit 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 RemoveLockForwardWrite-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 ExInterlockedInsertTailListExInterlockedPushEntryListInsertHeadListIoAcquireRemoveLockIoCallDriverIoCsqInsertIrpIoCsqInsertIrpExIoReleaseRemoveLockKeWaitForSingleObjectPoCallDriverRemoveHeadList