Freigeben über


RemoveLockForwardDeviceControl-Regel (wdm)

Die RemoveLockForwardDeviceControl-Regel überprüft, ob Aufrufe von IoAcquireRemoveLock und IoReleaseRemoveLock ordnungsgemäß verwendet werden, wenn der Treiber IoCallDriver verwendet, um ein IRP an ein anderes Gerät weiterzuleiten.

Treibermodell: WDM

So führen Sie einen Test durch

Zur Kompilierungszeit

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