Kueri CodeQL Driver Windows Tambahan

This section lists and describes a handful of CodeQL queries that are included as part of the Microsoft GitHub CodeQL repository that are specific to driver development for the Windows platform.

Daftar Kueri

Query Name	Description
API WDK Tidak Digunakan Lagi	Menemukan instans API alokasi kumpulan yang tidak digunakan lagi
UseAfterFree	Menemukan contoh pemilihan cacat UseAfterFree dalam kode sumber driver (presisi tinggi)
Probable UseAfterFree	Menemukan hampir semua instans cacat UseAfterFree dalam kode sumber driver (presisi rendah)
PaddingByteInformationDisclosure	Memeriksa struktur atau kelas yang baru dialokasikan yang diinisialisasi anggota demi anggota karena dapat membocorkan informasi jika menyertakan byte padding.
BadOverflowGuard	Memeriksa luapan penambahan dengan membandingkan dengan salah satu argumen penambahan. Gagal jika ukuran semua jenis argumen lebih kecil dari 4 byte.
InfiniteLoop	Menemukan perbandingan antara jenis lebar yang berbeda dalam kondisi perulangan yang dapat menyebabkan perulangan gagal dihentikan.
UninitializedPtrField	Mencari bidang pointer yang tidak diinisialisasi selama atau karena konstruksi kelas akan menyebabkan dereferensi pointer null.
HardcodedIVCNG	Menemukan penggunaan vektor inisialisasi yang salah.