Programas por ifa.sf.net

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