PROGRAMS BY ifa.sf.net

IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominalor declared types) and the interprocedural call graph for statically or