Aturan IrqlMmApcLte (wdm)
Aturan IrqlMmApcLte menentukan bahwa driver memanggil rutinitas manajer memori berikut hanya ketika dijalankan di IRQL <= APC_LEVEL:
Model driver: WDM
Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020019)
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlMmApcLte . 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
MmAllocateNonCachedMemoryMmAllocatePagesForMdlMmAllocatePagesForMdlExMmFreeNonCachedMemoryMmFreePagesFromMdlMmLockPagableDataSectionMmLockPagableSectionByHandleMmPageEntireDriverMmResetDriverPagingMmSecureVirtualMemoryMmUnlockPagableImageSectionMmUnsecureVirtualMemory