Programmes par sf.net/projects/catchconv

Génération automatique d’entrées de test pour attraper les erreurs de conversion entre les entiers signés et non signés. Plug-in Valgrind qui fonctionne avec la procédure de décision STP (téléchargé séparément). Consultez htt