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