Programas por sf.net/projects/catchconv

Generación automática de entradas de prueba para detectar errores de conversión entre enteros con y sin signo. Complemento Valgrind que funciona con el procedimiento de decisión STP (descargado por separado). Consulte http://