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 and Description
protected int	numCollapsed
protected PAG	pag

Constructor Summary

Constructors

Constructor and Description
EBBCollapser(PAG pag)

Method Summary

Modifier and Type	Method and Description
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()