Aturan IrqlExApcLte1 (wdm)
Aturan IrqlExApcLte1 menentukan bahwa driver memanggil ExAcquireFastMutex dan ExTryToAcquireFastMutex hanya di IRQL <= APC_LEVEL.
Model driver: WDM
Pemeriksaan bug ditemukan dengan aturan ini: 0xC4 Pemeriksaan Bug: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020005), 0xA Pemeriksaan Bug: IRQL_NOT_LESS_OR_EQUAL
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlExApcLte1 . 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 . |
Berlaku untuk
ExAcquireFastMutexExTryToAcquireFastMutex
Lihat juga
Mengelola Prioritas Perangkat KerasMencegah Kesalahan dan Kebuntuan Saat Menggunakan Kunci Spin