Program menurut smatch.sf.net

Eksperimen dalam menemukan kesalahan kernel.Ada dua bagian utama untuk Smatch. Yang pertama adalah patch ke sumber gcc untuk mencetak banyak informasi. Bagian kedua adalah kumpulan skrip dan pustaka perl untuk menganalis