Aturan DoubleDeviceInitFree (kmdf)
Aturan DoubleDeviceInitFree menentukan bahwa driver tidak boleh membebaskan struktur inisialisasi perangkat dua kali.
Metode WdfDeviceInitFree tidak boleh dipanggil dua kali untuk struktur inisialisasi perangkat yang sama.
Model driver: KMDF
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan DoubleDeviceInitFree . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |