Package soot.jimple.spark.solver
Class EBBCollapser
- java.lang.Object
-
- soot.jimple.spark.solver.EBBCollapser
-
public class EBBCollapser extends Object
Collapses nodes that are members of simple trees (EBBs) in the pointer assignment graph.- Author:
- Ondrej Lhotak
-
-
Field Summary
Fields Modifier and Type Field Description protected intnumCollapsedprotected PAGpag
-
Constructor Summary
Constructors Constructor Description EBBCollapser(PAG pag)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcollapse()Actually collapse the EBBs in the PAG.protected voidcollapseAlloc()protected voidcollapseLoad()protected voidcollapseSimple()
-