soot.toolkits.graph.pdg

Class RegionAnalysis

java.lang.Object

soot.toolkits.graph.pdg.RegionAnalysis

public class RegionAnalysis
extends java.lang.Object

This class computes the set of weak regions for a given method. It is based on the algorithm given in the following paper: Ball, T. 1993. What's in a region?: or computing control dependence regions in near-linear time for reducible control flow. ACM Lett. Program. Lang. Syst. 2, 1-4 (Mar. 1993), 1-16. DOI= http://doi.acm.org/10.1145/176454.176456

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Hashtable<Block,Region>	m_block2region
protected BlockGraph	m_blockCFG
protected UnitGraph	m_cfg
protected SootClass	m_class
protected SootMethod	m_method
protected Body	m_methodBody
protected java.util.Hashtable<java.lang.Integer,Region>	m_regions
protected java.util.List<Region>	m_regionsList
protected BlockGraph	m_reverseBlockCFG
protected UnitGraph	m_reverseCFG
protected Region	m_topLevelRegion

Constructor Summary

Constructors

Constructor and Description
RegionAnalysis(UnitGraph cfg, SootMethod m, SootClass c)

Method Summary

Modifier and Type	Method and Description
static java.lang.String	CFGtoString(DirectedGraph<Block> cfg, boolean blockDetail)
protected Region	createRegion(int id) Create a region
java.util.Hashtable<Block,Region>	getBlock2RegionMap()
BlockGraph	getBlockCFG()
DominatorTree<Block>	getDominatorTree()
DominatorTree<Block>	getPostDominatorTree()
java.util.List<Region>	getRegions()
Region	getTopLevelRegion()
java.util.Hashtable<Unit,Region>	getUnit2RegionMap()
void	reset()

Methods inherited from class java.lang.Object

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

Field Detail

m_class

protected SootClass m_class

m_method

protected SootMethod m_method

m_methodBody

protected Body m_methodBody

m_cfg

protected UnitGraph m_cfg

m_reverseCFG

protected UnitGraph m_reverseCFG

m_blockCFG

protected BlockGraph m_blockCFG

m_reverseBlockCFG

protected BlockGraph m_reverseBlockCFG

m_regions

protected java.util.Hashtable<java.lang.Integer,Region> m_regions

m_regionsList

protected java.util.List<Region> m_regionsList

m_topLevelRegion

protected Region m_topLevelRegion

m_block2region

protected java.util.Hashtable<Block,Region> m_block2region

Constructor Detail

RegionAnalysis

public RegionAnalysis(UnitGraph cfg,
                      SootMethod m,
                      SootClass c)

Method Detail

getRegions

public java.util.List<Region> getRegions()

getUnit2RegionMap

public java.util.Hashtable<Unit,Region> getUnit2RegionMap()

getBlock2RegionMap

public java.util.Hashtable<Block,Region> getBlock2RegionMap()

getBlockCFG

public BlockGraph getBlockCFG()

getPostDominatorTree

public DominatorTree<Block> getPostDominatorTree()

getDominatorTree

public DominatorTree<Block> getDominatorTree()

reset

public void reset()

createRegion

protected Region createRegion(int id)

Create a region

getTopLevelRegion

public Region getTopLevelRegion()

CFGtoString

public static java.lang.String CFGtoString(DirectedGraph<Block> cfg,
                                           boolean blockDetail)