Class PropagationGraph

java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.PropagationGraph
All Implemented Interfaces:
IFixedPointSystem<PointsToSetVariable>

public class PropagationGraph extends Object implements IFixedPointSystem<PointsToSetVariable>
A dataflow graph implementation specialized for propagation-based pointer analysis