Programma's van ifa.sf.net

IFA, Iterative Flow Analysis is een gecombineerde datastroom- en besturingsstroomanalyse. Het is in staat om de concrete soorten op te lossen (in tegenstelling tot de nominaleof gedeclareerde typen) en de interprocedurale