Aturan FileObjectConfigured (kmdf)
Aturan FileObjectConfigured menentukan bahwa panggilan ke metode WdfRequestGetFileObject didahului oleh panggilan ke WdfDeviceInitSetFileObjectConfig.
Model driver: KMDF
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan FileObjectConfigured . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |