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 (descarregado separadamente). Consulte http: