Aturan IrqlKeSetEvent (wdm)
Aturan IrqlKeSetEvent menentukan bahwa rutinitas KeSetEvent hanya dipanggil di IRQL <= DISPATCH_LEVEL saat Tunggu diatur ke FALSE, dan pada IRQL <= APC_LEVEL saat Tunggu diatur ke TRUE.
Model driver: WDM
Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020016)
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlKeSetEvent . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Pada durasi |
---|
Jalankan Pemverifikasi Driver dan pilih opsi pemeriksaan kepatuhan DDI . |