WdfIoQueueRetrieveNextRequest rule (kmdf)

Aturan WdfIoQueueRetrieveNextRequest menetapkan bahwa WdfIoQueueRetrieveNextRequest tidak dipanggil setelah WdfIoQueueFindRequest dipanggil.

Model pengemudi: KMDF

Cara menguji

Pada waktu kompilasi

Jalankan Static Driver Verifier dan tentukan aturan WdfIoQueueRetrieveNextRequest .

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

WdfIoQueueFindRequestWdfIoQueueRetrieveNextRequest