Bagikan melalui


Aturan WriteReqs (kmdf)

Aturan WriteReqs menentukan bahwa permintaan tulis tidak diteruskan ke metode KMDF yang tidak pantas.

Semua permintaan yang disajikan kepada driver dalam panggilan balik fungsi panggilan balik peristiwa EvtIoWrite dijamin akan menjadi permintaan tulis. Permintaan ini tidak dapat dikirim dengan menggunakan metode KMDF yang dirancang khusus untuk mengirim permintaan baca atau IOCTL.

Permintaan tulis tidak dapat dikirim ke metode berikut

WdfUsbTargetPipeReadSynchronously

WdfIoTargetSendIoctlSynchronously,

WdfIoTargetSendInternalIoctlSynchronously,

WdfIoTargetSendInternalIoctlOthersSynchronously,

WdfIoTargetSendReadSynchronously.

Model driver: KMDF

Cara menguji

Pada waktu kompilasi

Jalankan Pemverifikasi Driver Statis dan tentukan aturan WriteReqs .

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

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfUsbTargetPipeReadSynchronously