Splint

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 terjangkau, nilai kembali diabaikan, jalur eksekusi dengan tidak kembali, loop kemungkinan tak terbatas, dan jatuh kasus.
Pemeriksaan lebih kuat dimungkinkan oleh informasi tambahan yang diberikan dalam penjelasan kode sumber. Penjelasan adalah komentar bergaya bahwa dokumen asumsi tentang fungsi, variabel, parameter dan jenis.
Selain pemeriksaan khusus diaktifkan oleh penjelasan, banyak cek serat tradisional ditingkatkan dengan memanfaatkan informasi tambahan ini.
Sebagai upaya lebih dimasukkan ke dalam program annotating, hasil pengecekan yang lebih baik. Kurva upaya-manfaat representasional untuk menggunakan belat ditunjukkan pada Gambar 1.
Belat dirancang untuk menjadi fleksibel dan memungkinkan programmer untuk memilih titik yang sesuai pada kurva upaya-manfaat untuk proyek-proyek tertentu.
Pemeriksaan sebagai berbeda dihidupkan dan lebih banyak informasi yang diberikan dalam kode penjelasan jumlah bug yang dapat dideteksi meningkat secara dramatis.
Masalah terdeteksi oleh belat meliputi: