Programas por ifa.sf.net

IFA, Iterative Flow Analysis es un análisis combinado de flujo de datos y flujo de control. Es capaz de resolver los tipos de hormigón (a diferencia de lao tipos declarados) y el gráfico de llamadas interprocediales para p