Faire mumuse avec un micro-logiciel d'analyse statique
Par David Monniaux le dimanche, décembre 23 2012, 09:06 - Recherche scientifique - Lien permanent
Si cela vous intéresse, vous pouvez essayer PAGAI le logiciel d'analyse statique (intraprocédurale et seulement variables numériques) de mon doctorant Julien Henry.
Normalement, il fonctionne sous Linux, MacOS X et Cygwin.
Commentaires
ca aurait presque l'air interessant, et j'aurais presque essaye de le compiler sous OpenBSD.
Mais ca serait bien de mettre une licence dans le git, parce qu'ecrire sur la page web du projet "source code is freely available" ne suffit pas.
Je suggererais evidemment une licence BSD moderne, le genre de:
http://www.openbsd.org/cgi-bin/cvsw...
ben alors ? tu te farcis meme pas d'une reponse ?