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:
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