Aturan IrqlKeRaiseLower (wdm)
Aturan IrqlKeRaiseLower menentukan bahwa driver melakukan hal berikut saat menaikkan dan menurunkan IRQL:
Ketika driver memanggil KeRaiseIrql, driver dijalankan pada IRQL yang lebih rendah dari atau sama dengan nilai parameter NewIrql . Driver memanggil KeLowerIrql hanya setelah memanggil KeRaiseIrql atau KeRaiseIrqlToDpcLevel. Aturan ini mengizinkan panggilan berlapis ke KeRaiseIrql, KeRaiseIrqlToDpcLevel, dan KeLowerIrql.
Model driver: WDM
Cara menguji
| Pada waktu kompilasi |
|---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlKeRaiseLower . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Berlaku untuk
Lihat juga
Saran dan Komentar
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat: https://aka.ms/ContentUserFeedback.
Kirim dan lihat umpan balik untuk