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. |