Aturan BufAfterReqCompletedReadA (kmdf)

Aturan BufAfterReqCompletedReadA menetapkan bahwa dalam fungsi callback EvtIoRead , buffer permintaan I/O yang diambil tidak dapat diakses setelah permintaan I/O selesai. Ada 14 DDI yang berfungsi sebagai metode akses buffer yang mungkin.

Dalam fungsi callback EvtIoRead pengemudi, buffer permintaan yang diambil dengan memanggil WdfRequestRetrieveOutputBuffer atau WdfRequestRetrieveUnsafeUserOutputBuffer tidak dapat diakses setelah memanggil WdfRequestComplete, WdfRequestCompleteWithInformation, atau WdfRequestCompleteWithPriorityBoost atas permintaan I/O.

Model pengemudi: KMDF

Cara menguji

Pada waktu kompilasi

Jalankan Static Driver Verifier dan tentukan aturan BufAfterReqCompletedReadA .

Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
  1. Siapkan kode Anda (gunakan deklarasi tipe peran).
  2. Jalankan Verifikasi Driver Statis.
  3. Lihat dan analisis hasilnya.

Untuk informasi selengkapnya, lihat Menggunakan Verifikasi Driver Statis untuk Menemukan Cacat pada Driver.

Berlaku untuk

WDF_MEMORY_DESCRIPTOR_INIT_BUFFER WdfMemoryAssignBufferWdfMemoryCopyFromBufferWdfMemoryCopyToBufferWdfMemoryCreatePreallocatedWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveOutputBufferWdfRequestRetrieveUnsafeUserOutputBufferRtlCompareMemoryRtlMoveMemoryRtlZeroMemory ZwReadFile