Bagikan melalui

Aturan IrqlKeSetEvent (wdm)

  • Artikel

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:
  1. Siapkan kode Anda (gunakan deklarasi jenis peran).
  2. Jalankan Pemverifikasi Driver Statis.
  3. Lihat dan analisis hasilnya.

Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver.
Pada durasi

Jalankan Pemverifikasi Driver dan pilih opsi pemeriksaan kepatuhan DDI .

Berlaku untuk

KeSetEvent