Programas por ifa.sf.net

IFA, Iterative Flow Analysis é uma análise combinada de fluxo de dados e fluxo de controle. É capaz de resolver os tipos concretos (em oposição ao nominalou tipos declarados) e o gráfico de chamada interprodural para progr