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 mengeksekusi kode sumber, membuat asumsi sekecil mungkin tentang status sistem operasi dan status awal driver. Akibatnya, SDV dapat menjalankan kode di jalur yang terlewatkan dalam pengujian tradisional.

SDV mencakup serangkaian 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 mencakup:

Memahami Pemverifikasi Driver Statis

Konsep Pemverifikasi Driver Statis

Driver yang Didukung

Batasan Verifikasi Pengemudi Statis

Penting

SDV tidak lagi didukung dan SDV tidak tersedia di rilis Windows 24H2 WDK atau EWDK. Ini tidak tersedia di WDK yang lebih baru dari build 26017, dan tidak termasuk dalam WDK Windows 24H2 RTM. SDV masih dapat digunakan dengan mengunduh Windows 11, versi 22H2 EWDK (dirilis 24 Oktober 2023) dengan alat build Visual Studio 17.1.5 dari Unduh Windows Driver Kit (WDK). Hanya penggunaan Enterprise WDK untuk menjalankan SDV yang direkomendasikan. Menggunakan versi WDK standar yang lebih lama bersama dengan rilis Terbaru Visual Studio tidak disarankan, karena ini kemungkinan akan mengakibatkan kegagalan analisis.
Ke depannya, CodeQL akan menjadi alat analisis statis utama untuk driver. CodeQL menyediakan bahasa kueri canggih yang memperlakukan kode sebagai database yang akan dikueri, sehingga mudah untuk menulis kueri untuk perilaku, pola, dan lainnya tertentu. Untuk informasi selengkapnya tentang menggunakan CodeQL, lihat CodeQL dan Uji Logo Alat Statis.