Programy według sf.net/projects/catchconv

Automatyczne generowanie danych wejściowych testowych w celu wychwytywalania błędów konwersji między podpisanymi i niepodpisanych liczbami całkowitymi. Wtyczka Valgrind, która działa z procedurą decyzyjną STP (pobierana oddzi