aturan Flags_Irql (ndis)

Aturan Flags_Irql menentukan bahwa KeGetCurrentIrql tidak boleh dipanggil dalam fungsi panggilan balik yang memiliki parameter bendera tingkat pengiriman yang menunjukkan IRQL saat ini.

Penggunaan bendera tingkat pengiriman yang benar dapat membantu Anda menghindari upaya yang tidak perlu untuk mengatur IRQL. Untuk informasi selengkapnya tentang cara menggunakan bendera ini, lihat Mengirimkan Pelacakan IRQL.

Model driver: NDIS

Cara menguji

Pada waktu kompilasi
Jalankan Pemverifikasi Driver Statis dan tentukan aturan Flags_Irql . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda: Siapkan kode Anda (gunakan deklarasi jenis peran). Jalankan Pemverifikasi Driver Statis. Lihat dan analisis hasilnya. Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver.