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:
This project has been moved to https://github.com/jplevyak/ifa