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.
Download
ifa - 0.4
Last Update: Feb 27 2008
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved