Aturan DoubleExFreePool (storport)
Aturan ini memverifikasi bahwa driver tidak mencoba membebaskan blok memori kumpulan yang sama dua kali.
Aturan ini melacak penunjuk memori yang pertama kali diteruskan ke ExFreePool. Jika penunjuk yang sama diteruskan lagi, driver akan gagal dalam aturan. Jika driver memanggil RemoveHeadList atau RemoveEntryList, aturan akan lolos.
Model driver: Storport
Cara menguji
| Pada waktu kompilasi |
|---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan DoubleExFreePool . 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