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).

Catatan 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