Programma's van sf.net/projects/catchconv

Automatische generatie van testingangen om conversiefouten tussen ondertekende en niet-ondertekende gehele getallen te vangen. Valgrind plug-in die werkt met de STP decision procedure (apart gedownload). Zie http://catchconv.