Aturan IrqlIoPassive5 (wdm)
Aturan IrqlIoPassive5 menentukan bahwa driver memanggil rutinitas Manajer I/O tertentu hanya ketika dijalankan di IRQL = PASSIVE_LEVEL.
Model driver: WDM
Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002000E)
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlIoPassive5 . 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
IoGetConfigurationInformationIoGetDeviceObjectPointerIoGetDmaAdapterIoGetFileObjectGenericMappingIoInitializeTimerIoIsWdmVersionAvailableIoRegisterDriverReinisialisasiIoRegisterShutdownNotificationIoRemoveShareAccessIoSetShareAccessIoUnregisterShutdownNotificationIoUpdateShareAccessIoWMIAllocateInstanceIdsIoWMIRegistrationControl