Programas por sf.net/projects/catchconv

Geração automática de entradas de teste para capturar erros de conversão entre inteiros assinados e não assinados. O plug-in Valgrind que funciona com o procedimento de decisão stp (baixado separadamente). Consulte http://cat