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)