Memperkenalkan Pemverifikasi Driver Statis
Static Driver Verifier (SDV) adalah alat verifikasi statis yang berjalan pada waktu kompilasi. Ini mengeksplorasi jalur dalam kode driver dengan secara simbolis menjalankan kode sumber, membuat asumsi seserap mungkin tentang status sistem operasi dan status awal driver. Akibatnya, SDV dapat menjalankan kode di jalur yang terlewatkan dalam pengujian tradisional.
SDV mencakup seperangkat aturan yang menentukan interaksi yang tepat antara driver dan kernel sistem operasi. Selama verifikasi, SDV memeriksa setiap cabang kode driver yang berlaku dan kode pustaka yang digunakannya, dan mencoba membuktikan bahwa driver melanggar aturan. Jika SDV gagal membuktikan pelanggaran, SDV melaporkan bahwa driver mematuhi aturan dan lulus verifikasi.
Bagian ini meliputi:
Memahami Pemverifikasi Driver Statis
Saran dan Komentar
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat: https://aka.ms/ContentUserFeedback.
Kirim dan lihat umpan balik untuk