Aturan IrqlExApcLte2 (wdm)

Aturan IrqlExApcLte2 menentukan bahwa driver memanggil rutinitas berikut hanya pada IRQL kurang dari atau sama dengan APC_LEVEL.

Model driver:WDM

Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020006), 0xA Pemeriksaan Bug: IRQL_NOT_LESS_OR_EQUAL

Cara menguji

Pada waktu kompilasi

Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlExApcLte2 .

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

CmRegisterCallbackCmRegisterCallbackExCmUnRegisterCallbackExDeletePagedLookasideListExInitializePagedLookasideListExRegisterCallbackExSetTimerResolutionExUnregisterCallbackProbeForReadProbeForWrite