Splint 3.1.1
belat adalah alat untuk statis memeriksa program C untuk kerentanan keamanan dan kesalahan pemrograman.Belat melakukan banyak pemeriksaan serat tradisional termasuk deklarasi yang tidak terpakai, jenis inkonsistensi, digunakan sebelum definisi, kode...