Programmi di sf.net/projects/catchconv

Generazione automatica di input di test per intercettare gli errori di conversione tra interi firmati e senza segno. Plug-in Valgrind che funziona con la procedura decisionale STP (scaricata separatamente). Vedere http://catc