Chương trình theo sf.net/projects/catchconv

Tự động tạo đầu vào thử nghiệm để bắt lỗi chuyển đổi giữa số nguyên đã ký và số nguyên chưa ký. Valgrind plug-in mà làm việc với các thủ tục quyết định STP (tải về một cách riêng biệt). Xem phần http://catchconv.pbwiki.com/ h