Aturan MemAfterReqCompletedIoctl (kmdf)
Aturan MemAfterReqCompletedIoctl menentukan bahwa dalam fungsi panggilan balik EvtIoDeviceControl , objek memori kerangka kerja tidak dapat diakses setelah permintaan I/O selesai.
Dalam fungsi panggilan balik EvtIoDeviceControl driver, objek memori kerangka kerja yang diambil dengan memanggil metode WdfRequestRetrieveInputMemory atau WdfRequestRetrieveOutputMemory tidak dapat diakses setelah memanggil metode WdfRequestComplete, WdfRequestCompleteWithInformation, atau WdfRequestCompleteWithPriorityBoost pada permintaan I/O.
Aturan ini mempertimbangkan metode akses memori berikut:
WdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory
Model driver: KMDF
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan MemAfterReqCompletedIoctl . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Berlaku untuk
WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestRetrieveInputMemoryWdfRequestRetrieveOutputMemory