Alat Tambahan untuk Verifikasi Driver

Di bagian ini

• Analisis Kode untuk Penggerak

• Static Driver Verifier

• Pemverifikasi Aplikasi

• Aplikasi Kontrol Pemverifikasi WDF

• WdfTester: Alat Pengujian Pengemudi WDF

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.