Tarafından Programlar sf.net/projects/catchconv

İmzalı ve imzasız tümersayılar arasındaki dönüşüm hatalarını yakalamak için otomatik test girişleri oluşturma. STP karar yordamı ile çalışan Valgrind eklentisi (ayrı olarak indirilir). Kurulum yönergeleri için http://catchcon