Aturan IrqlDispatch (wdm)
Aturan IrqlDispatch menentukan bahwa driver memanggil DDI berikut hanya ketika dijalankan di IRQL = DISPATCH_LEVEL.
Model driver: WDM
Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xA: IRQL_NOT_LESS_OR_EQUAL , 0xC4 Pemeriksaan Bug: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020003)
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlDispatch . 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
AllocateAdapterChannelAllocateCommonBufferBuildMdlFromScatterGatherListBuildScatterGatherListFlushAdapterBuffersFreeAdapterChannelFreeCommonBufferFreeMapRegistersGetDmaAlignmentGetScatterGatherListIoAllocateControllerIoFreeControllerIoStartNextPacketIoWriteErrorLogEntryKeInsertByKeyDeviceQueueKeInsertDeviceQueueKeRemoveByKeyDeviceQueueKeRemoveDeviceQueueMapTransferPutDmaAdapterPutScatterGatherListReadDmaCounter
Lihat juga
Mengelola Prioritas Perangkat KerasMencegah Kesalahan dan Kebuntuan Saat Menggunakan Kunci Spin