Catatan
Akses ke halaman ini memerlukan otorisasi. Anda dapat mencoba masuk atau mengubah direktori.
Akses ke halaman ini memerlukan otorisasi. Anda dapat mencoba mengubah direktori.
Bagian ini mencantumkan dan menjelaskan Aturan Kepatuhan Antarmuka Driver Perangkat Windows (DDI) yang dapat Anda gunakan untuk memverifikasi driver Windows Driver Model (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS, dan Storport. Aturan Kepatuhan DDI menentukan persyaratan untuk interaksi yang tepat antara driver dan antarmuka kernel sistem operasi.
Aturan untuk Driver Audio
Aturan untuk driver AVStream
Aturan untuk driver WDM
Aturan untuk pengemudi KMDF
Aturan untuk driver NDIS
Aturan untuk Pengandar Storport
Penting
Program Kompatibilitas Perangkat Keras Windows memerlukan CodeQL untuk Pengujian Logo Alat Statis (STL) pada Sistem Operasi Klien dan Server kami. Kami akan terus mempertahankan dukungan untuk SDV dan CA pada produk yang lebih lama. Mitra sangat didorong untuk meninjau persyaratan CodeQL untuk Uji Logo Alat Statis. Untuk informasi selengkapnya tentang menggunakan CodeQL, lihat CodeQL dan Uji Logo Alat Statis.
Alat Verifikasi Driver
Anda dapat menggunakan alat analisis kode, Pemverifikasi Driver Statis , dan Pemverifikasi Driver untuk menguji driver untuk kepatuhan terhadap aturan penggunaan DDI. Static Driver Verifier (SDV) melakukan analisis statis pada kode sumber driver, sehingga Anda dapat menggunakan SDV di awal siklus pengembangan. Driver Verifier terintegrasi dengan sistem operasi, sehingga Anda dapat menguji driver saat runtime setelah dibuat, disebarkan, dan diinstal.
Menggunakan kode sumber driver, Verifier Driver Statis membuat model driver dan sistem operasi. Dalam model ini, SDV menempatkan pengemudi di lingkungan yang tidak bersahabat dan secara sistematis menguji jalur kode dalam driver dengan mencari pelanggaran terhadap serangkaian aturan kepatuhan driver yang telah diformalkan (aturan Static Driver Verifier).
Mulai windows 8, Anda dapat mengonfigurasi Driver Verifier untuk menjalankan beberapa pemeriksaan kepatuhan yang sama pada driver yang diinstal dengan mengaktifkan pemeriksaan kepatuhan DDI.
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.