Aturan InvalidReqAccess (kmdf)

Aturan InvalidReqAccess menentukan bahwa permintaan tidak diakses setelah selesai atau dibatalkan. Aturan ini mungkin tumpang tindih dengan aturan lain, seperti aturan yang memeriksa penyelesaian ganda, atau aturan yang memeriksa permintaan telah ditandai dapat dibatalkan dua kali.

Permintaan dianggap tidak valid jika selesai, ditandai dapat dibatalkan, atau dibatalkan setelah dikirim. Setelah permintaan dianggap tidak valid, permintaan tidak dapat diteruskan ke fungsi WdfRequestXxx , kecuali ketika driver memanggil WdfRequestUnmarkCancelable jika permintaan sebelumnya ditandai dapat dibatalkan.

Aturan ini mirip dengan aturan InvalidReqAccessLocal ; namun, aturan InvalidReqAccessLocal hanya dilakukan dalam fungsi panggilan balik antrean I/O default.

Model driver: KMDF

Cara menguji

Pada waktu kompilasi

Jalankan Pemverifikasi Driver Statis dan tentukan aturan InvalidReqAccess .

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

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

Berlaku untuk

WdfRequestAllocateTimer
WdfRequestCancelSentRequest
WdfRequestChangeTarget
WdfRequestComplete
WdfRequestCompleteWithInformation
WdfRequestCompleteWithPriorityBoost
WdfRequestFormatRequestUsingCurrentType
WdfRequestForwardToIoQueue
WdfRequestGetCompletionParams
WdfRequestGetFileObject
WdfRequestGetInformation
WdfRequestGetIoQueue
WdfRequestGetParameters
WdfRequestGetRequestorMode
WdfRequestIsFrom32BitProcess
WdfRequestMarkCancelable
WdfRequestMarkCancelableEx
WdfRequestProbeAndLockUserBufferForRead
WdfRequestProbeAndLockUserBufferForWrite
WdfRequestRequeue
WdfRequestRetrieveInputBuffer
WdfRequestRetrieveInputMemory
WdfRequestRetrieveInputWdmMdl
WdfRequestRetrieveOutputBuffer
WdfRequestRetrieveOutputMemory
WdfRequestRetrieveOutputWdmMdl
WdfRequestRetrieveUnsafeUserInputBuffer
WdfRequestRetrieveUnsafeUserOutputBuffer
WdfRequestReuse
WdfRequestSend
WdfRequestSetCompletionRoutine
WdfRequestSetInformation
WdfRequestUnmarkCancelable
WdfRequestWdmFormatUsingStackLocation
WdfRequestWdmGetIrp