Aturan ForwardedAtBadIrql (wdm)
Aturan ForwardedAtBadIrql menentukan bahwa driver harus memanggil IoCallDriver dan PoCallDriver di IRQL<DISPATCH_LEVEL kecuali kode fungsi utama IRP yang diteruskan adalah salah satu hal berikut:
Model driver: WDM
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan ForwardedAtBadIrql . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |