BufAfterReqCompletedWrite ルール (kmdf)
BufAfterReqCompletedWrite ルールは、EvtIoWrit コールバック関数内で、I/O 要求の完了後に取得された I/O 要求バッファーにはアクセスできないことを指定します。
ドライバーの EvtIoWrite コールバック関数内で、WdfRequestRetrieveInputBuffer または WdfRequestRetrieveUnsafeUserInputBuffer を呼び出すことによって取得された要求バッファーは、I/O 要求で WdfRequestComplete、WdfRequestCompleteWithInformation、または WdfRequestCompleteWithPriorityBoost を呼び出した後にアクセスできません。
ドライバーモデル: KMDF
テスト方法
コンパイル時 |
---|
静的ドライバー検証ツール を実行し、BufAfterReqCompletedWrite ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
適用対象
WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputBufferWdfRequestRetrieveOutputBufferWdfRequestRetrieveUnsafeUserInputBufferWdfRequestRetrieveUnsafeUserOutputBuffer