Aturan StartIoRecursion (wdm)
Aturan StartIoRecursion menentukan bahwa jika rutinitas StartIo driver menyertakan panggilan ke IoStartNextPacket, driver harus terlebih dahulu memanggil IoSetStartIoAttributes dengan atribut DeferredStartIo yang diatur ke TRUE. Jika tidak, rekursi tak terbatas dapat mengakibatkan.
Model driver: WDM
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan StartIoRecursion . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |