Iterative Flow Analysis

License: Free ‎File size: N/A
‎Users Rating: 2.5/5 - ‎2 ‎votes

ABOUT Iterative Flow Analysis

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.