Aturan IrqlKeReleaseSpinLock (storport)
Aturan ini memverifikasi bahwa KeReleaseSpinLock dipanggil hanya di IRQL = DISPATCH_LEVEL . Ini juga harus mengatur IRQL ke tingkat IRQL sebelumnya. Biasanya panggilan ini akan didahului oleh panggilan ke KeAcquireSpinLock.
Model driver: Storport
Cara menguji
| Pada waktu kompilasi |
|---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan IrqlKeReleaseSpinLock . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Berlaku untuk
Saran dan Komentar
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat: https://aka.ms/ContentUserFeedback.
Kirim dan lihat umpan balik untuk