Iterative Flow Analysis Wiki

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 nominal
or declared types) and the interprocedural call graph for statically or dynamically typed programs.

Project Admins:

• John Plevyak