Aturan DoubleCompletion (wdm)
Aturan DoubleCompletion (WDM) menentukan bahwa driver tidak boleh memanggil rutinitas IoCompleteRequest dua kali untuk IRP yang sama.
Model driver: WDM
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan DoubleCompletion . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |