RemoveLockForward2 ルール (wdm)
RemoveLockForward2 ルールは、IRP を別のデバイスに転送するときに、 IoAcquireRemoveLock と IoReleaseRemoveLock への呼び出しが正しく使用されているかを検証します。
この規則では、IRP のチェック IRP_MN_REMOVE_DEVICE、IRP_MN_QUERY_DEVICE、またはIRP_MN_SUPRISE_REMOVALは行われません。
ドライバーモデル: WDM
テスト方法
コンパイル時 |
---|
静的ドライバー検証ツール を実行し、 RemoveLockForward 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
適用対象
ExInterlockedInsertHeadListExInterlockedInsertTailListExInterlockedPushEntryListInsertHeadListIoAcquireRemoveLockIoCallDriverIoCsqInsertIrpIoCsqInsertIrpExIoReleaseRemoveLockPoCallDriverRemoveHeadList