Aturan ForwardedAtBadIrqlFsdAsync (wdm)
Aturan ForwardedAtBadIrqlFsdAsync menentukan bahwa driver 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 ForwardedAtBadIrqlFsdAsync . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |