Bagikan melalui

Analisis Kode untuk Driver

  • Artikel

Analisis Kode untuk Driver adalah alat verifikasi statis waktu kompilasi yang mendeteksi kesalahan pengodean dasar dalam program C dan C++ dan menyertakan modul khusus yang dirancang untuk mendeteksi kesalahan dalam kode driver mode kernel (terutama).

Dalam versi WDK sebelumnya, modul khusus driver untuk analisis kode adalah bagian dari alat mandiri yang disebut PREfast untuk Driver (PFD). PREfast untuk Driver juga diintegrasikan ke dalam lingkungan WDK Build, sebagai bagian dari Microsoft Automated Code Review (OACR). Dimulai dengan Windows Driver Kit (WDK) 8, fitur khusus driver telah diintegrasikan dengan Menganalisis Kualitas Aplikasi dengan Menggunakan Alat Analisis Kode.

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.

Di bagian ini

Penting

Analisis Kode untuk driver tersedia di Windows 24H2 WDK dan EWDK, tetapi disarankan agar diatur untuk dihentikan pada tanggal mendatang.
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.