Programmi di ifa.sf.net

IFA, Iterative Flow Analysis è un'analisi combinata del flusso di dati e del flusso di controllo. È in grado di risolvere i tipi di calcestruzzo (al contrarioo tipi dichiarati) e il grafico delle chiamate interprocedurali