Aturan NdisAllocateMemoryWithTagPriority (ndis)
Aturan NdisAllocateMemoryWithTagPriority menentukan bahwa driver tidak boleh memanggil NdisAllocateMemoryWithTagPriority tanpa menyediakan Tag.
Setiap alokasi memori harus menggunakan tag kumpulan unik untuk memastikan bahwa debugger kernel dan Pemverifikasi Driver dapat mengidentifikasi blok memori yang dialokasikan yang berbeda.
Model driver: NDIS
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan NdisAllocateMemoryWithTagPriority . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |