soot.jimple.spark.solver
Class SCCCollapser
java.lang.Object
|
+--soot.jimple.spark.solver.SCCCollapser
- public class SCCCollapser
- extends java.lang.Object
Collapses VarNodes (green) forming strongly-connected components in
the pointer assignment graph.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
numCollapsed
protected int numCollapsed
pag
protected PAG pag
visited
protected java.util.HashSet visited
ignoreTypes
protected boolean ignoreTypes
typeManager
protected TypeManager typeManager
SCCCollapser
public SCCCollapser(PAG pag,
boolean ignoreTypes)
collapse
public void collapse()
- Actually collapse the SCCs in the PAG.
dfsVisit
protected final void dfsVisit(VarNode v,
VarNode rootOfSCC)