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

protected int	numCollapsed
protected PAG	pag

Constructor Summary

EBBCollapser(PAG pag)

Method Summary

void	collapse() Actually collapse the EBBs in the PAG.
protected void	collapseAlloc()
protected void	collapseLoad()
protected void	collapseSimple()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

numCollapsed

protected int numCollapsed

pag

protected PAG pag

Constructor Detail

EBBCollapser

public EBBCollapser(PAG pag)

Method Detail

collapse

public void collapse()

Actually collapse the EBBs in the PAG.

collapseAlloc

protected void collapseAlloc()

collapseSimple

protected void collapseSimple()

collapseLoad

protected void collapseLoad()