Class SSAPropagationCallGraphBuilder

java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder
All Implemented Interfaces:
CallGraphBuilder<InstanceKey>, HeapModel, InstanceKeyFactory, PointerKeyFactory
Direct Known Subclasses:
AstSSAPropagationCallGraphBuilder, nCFABuilder, ZeroXCFABuilder

public abstract class SSAPropagationCallGraphBuilder extends PropagationCallGraphBuilder implements HeapModel
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative dataflow solver, and constraints generated by statements in SSA form.

TODO: This implementation currently keeps all points to sets live ... even those for local variables that do not span interprocedural boundaries. This may be too space-inefficient .. we can consider recomputing local sets on demand.