Program menurut sf.net/projects/catchconv

Input pengujian generasi otomatis untuk menangkap kesalahan konversi antara bilangan bulat yang ditandatangani dan tidak ditandatangani. Plug-in Valgrind yang bekerja dengan prosedur keputusan STP (diunduh secara terpisah). L