Bagikan melalui


Aturan IrqlKeReleaseSpinLock (wdm)

Aturan IrqlKeReleaseSpinLock menentukan bahwa driver memanggil KeReleaseSpinLock hanya ketika dijalankan di IRQL sama dengan DISPATCH_LEVEL.

Aturan ini juga menentukan bahwa nilai parameter NewIrql dalam panggilan ke KeReleaseSpinLock sama dengan IRQL tempat driver dijalankan sebelum panggilan ke KeAcquireSpinLock. (Nilai ini juga merupakan nilai dari Parameter OldIrql yang disediakan oleh KeAcquireSpinLock.)

Model driver: WDM

Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015)

Cara menguji

Pada waktu kompilasi

Jalankan Verifier Driver Statis dan tentukan aturan IrqlKeReleaseSpinLock .

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

KeReleaseSpinLock