soot.jimple.spark.solver
Class EBBCollapser
java.lang.Object
|
+--soot.jimple.spark.solver.EBBCollapser
- public class EBBCollapser
- extends java.lang.Object
Collapses nodes that are members of simple trees (EBBs)
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
EBBCollapser
public EBBCollapser(PAG pag)
collapse
public void collapse()
- Actually collapse the EBBs in the PAG.
collapseAlloc
protected void collapseAlloc()
collapseSimple
protected void collapseSimple()
collapseLoad
protected void collapseLoad()