Programmes par ifa.sf.net

IFA, Iterative Flow Analysis est une analyse combinée du flux de données et du flux de contrôle. Il est capable de résoudre les types concrets (par opposition à laou les types déclarés) et le graphique d’appel interprocèdu