Freigeben über


RemoveLockForward-Regel (wdm)

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

Beachten Sie, dass diese Regel IRP_MN_REMOVE_DEVICE, IRP_MN_QUERY_DEVICE oder IRP_MN_SUPRISE_REMOVAL IRPs nicht überprüft.

Treibermodell: WDM

So führen Sie einen Test durch

Zur Kompilierungszeit

Führen Sie statische Treiberüberprüfung aus , und geben Sie die RemoveLockForward-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