soot.jimple.toolkits.thread.mhp

Class PegGraph

java.lang.Object

soot.jimple.toolkits.thread.mhp.PegGraph

All Implemented Interfaces:

java.lang.Iterable, DirectedGraph

public class PegGraph
extends java.lang.Object
implements DirectedGraph

Oct. 7, 2003 modify buildPegChain() for building chain without inliner. June 19, 2003 add begin node to peg June 18, 2003 modify the iterator() to be iterator for all nodes of PEG and mainIterator() to be the iterator for main chain. June 12, 2003 add monitor Map, notifyAll Map, waitingNodes Map.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<AllocNode,java.lang.String>	allocNodeToObj
protected java.util.Map<AllocNode,PegChain>	allocNodeToThread
protected java.util.Map<JPegStmt,Chain>	joinStmtToThread
java.util.HashMap	startToAllocNodes
java.util.HashMap<JPegStmt,java.util.List>	startToThread
protected java.util.Map	threadNameToStart
protected java.util.Map	threadNo
protected java.util.HashMap<java.lang.Object,java.util.List>	unitToPreds
protected java.util.HashMap<java.lang.Object,java.util.List>	unitToSuccs

Constructor Summary

Constructors

Constructor and Description
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set<java.lang.Object> methodsNeedingInlining, java.util.Set<AllocNode> allocNodes, java.util.List inlineSites, java.util.Map synchObj, java.util.Set<AllocNode> multiRunAllocNodes, java.util.Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set methodsNeedingInlining, java.util.Set allocNodes, java.util.List<java.util.List> inlineSites, java.util.Map<SootMethod,java.lang.String> synchObj, java.util.Set multiRunAllocNodes, java.util.Map<AllocNode,java.lang.String> allocNodeToObj, Body unitBody, java.lang.String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.

Method Summary

Modifier and Type	Method and Description
protected void	addMonitorStmt()
boolean	addPeg(PegGraph pg, Chain chain)
protected void	addTag()
protected void	buildMaps(PegGraph pg)
protected void	buildPreds()
protected void	buildSuccsForInlining(JPegStmt stmt, Chain chain, PegGraph inlinee)
protected void	computeEdgeAndThreadNo()
void	computeMonitorObjs()
protected FlowSet	getAllNodes()
protected java.util.Map<AllocNode,java.lang.String>	getAllocNodeToObj()
java.util.Map<AllocNode,PegChain>	getAllocNodeToThread()
Body	getBody()
java.util.Set	getCanNotBeCompacted()
protected java.util.Set<Unit>	getExceHandlers()
java.util.List	getHeads() Returns a list of entry points for this graph.
protected java.util.Map<JPegStmt,Chain>	getJoinStmtToThread()
PegChain	getMainPegChain()
java.util.Set	getMethodsNeedingInlining()
java.util.Map<java.lang.String,FlowSet>	getMonitor()
java.util.Set<java.lang.Object>	getMonitorObjs()
protected boolean	getNeedInlining()
java.util.Map<java.lang.String,java.util.Set<JPegStmt>>	getNotifyAll()
java.util.List	getPredsOf(java.lang.Object s) Returns a list of predecessors for the given node in the graph.
protected java.util.Set<JPegStmt>	getSpecialJoin()
java.util.Map	getStartToAllocNodes()
protected java.util.Map	getStartToBeginNodes()
java.util.Map<JPegStmt,java.util.List>	getStartToThread()
java.util.List	getSuccsOf(java.lang.Object s) Returns a list of successors for the given node in the graph.
java.util.HashSet<java.util.List>	getSynch()
java.util.List	getTails() Returns a list of exit points for this graph.
protected java.util.Set	getThreadAllocSites()
protected java.util.Map	getThreadNameToStart()
protected java.util.Map	getUnitToPegMap()
protected java.util.HashMap	getUnitToPreds()
protected java.util.HashMap	getUnitToSuccs()
protected java.util.Map<java.lang.String,FlowSet>	getWaitingNodes()
java.util.Iterator	iterator() Returns an iterator for the nodes in this graph.
java.util.Iterator	mainIterator()
protected void	setMonitor(java.util.Map<java.lang.String,FlowSet> m)
int	size() Returns the node count for this graph.
protected void	testIterator()
protected void	testJoinStmtToThread()
protected void	testList(java.util.List list)
void	testMonitor()
protected void	testPegChain(Chain chain)
protected void	testSet(java.util.Set set, java.lang.String name)
protected void	testStartToThread()
protected void	testSynch()
protected void	testThreadNameToStart()
protected void	testUnitToPeg(java.util.HashMap unitToPeg)
protected void	testUnitToPred()
protected void	testUnitToSucc()
void	testWaitingNodes()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

unitToSuccs

protected java.util.HashMap<java.lang.Object,java.util.List> unitToSuccs

unitToPreds

protected java.util.HashMap<java.lang.Object,java.util.List> unitToPreds

startToThread

public java.util.HashMap<JPegStmt,java.util.List> startToThread

startToAllocNodes

public java.util.HashMap startToAllocNodes

threadNo

protected java.util.Map threadNo

threadNameToStart

protected java.util.Map threadNameToStart

allocNodeToObj

protected java.util.Map<AllocNode,java.lang.String> allocNodeToObj

allocNodeToThread

protected java.util.Map<AllocNode,PegChain> allocNodeToThread

joinStmtToThread

protected java.util.Map<JPegStmt,Chain> joinStmtToThread

Constructor Detail

PegGraph

public PegGraph(CallGraph callGraph,
                Hierarchy hierarchy,
                PAG pag,
                java.util.Set<java.lang.Object> methodsNeedingInlining,
                java.util.Set<AllocNode> allocNodes,
                java.util.List inlineSites,
                java.util.Map synchObj,
                java.util.Set<AllocNode> multiRunAllocNodes,
                java.util.Map allocNodeToObj,
                Body unitBody,
                SootMethod sm,
                boolean addExceptionEdges,
                boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)

Constructs a graph for the units found in the provided Body instance. Each node in the graph corresponds to a unit. The edges are derived from the control flow.

Parameters:

Body - The underlying body of main thread

addExceptionEdges - If true then the control flow edges associated with exceptions are added.

Hierarchy - Using class hierarchy analysis to find the run method of started thread

PointsToAnalysis - Using point to analysis (SPARK package) to improve the precision of results

PegGraph

public PegGraph(CallGraph callGraph,
                Hierarchy hierarchy,
                PAG pag,
                java.util.Set methodsNeedingInlining,
                java.util.Set allocNodes,
                java.util.List<java.util.List> inlineSites,
                java.util.Map<SootMethod,java.lang.String> synchObj,
                java.util.Set multiRunAllocNodes,
                java.util.Map<AllocNode,java.lang.String> allocNodeToObj,
                Body unitBody,
                java.lang.String threadName,
                SootMethod sm,
                boolean addExceEdge,
                boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)

Constructs a graph for the units found in the provided Body instance. Each node in the graph corresponds to a unit. The edges are derived from the control flow.

Parameters:

body - The underlying body we want to make a graph for.

addExceptionEdges - If true then the control flow edges associated with exceptions are added.

dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock - This was added for Dava. If true, edges are not added from statement before area of protection to catch. If false, edges ARE added. For Dava, it should be true. For flow analyses, it should be false.

Hierarchy - Using class hierarchy analysis to find the run method of started thread

PointsToAnalysis - Using point to analysis (SPARK package) to improve the precision of results

Method Detail

getStartToBeginNodes

protected java.util.Map getStartToBeginNodes()

getJoinStmtToThread

protected java.util.Map<JPegStmt,Chain> getJoinStmtToThread()

getUnitToPegMap

protected java.util.Map getUnitToPegMap()

addMonitorStmt

protected void addMonitorStmt()

addPeg

public boolean addPeg(PegGraph pg,
                      Chain chain)

buildSuccsForInlining

protected void buildSuccsForInlining(JPegStmt stmt,
                                     Chain chain,
                                     PegGraph inlinee)

buildMaps

protected void buildMaps(PegGraph pg)

buildPreds

protected void buildPreds()

computeMonitorObjs

public void computeMonitorObjs()

getNeedInlining

protected boolean getNeedInlining()

getAllNodes

protected FlowSet getAllNodes()

getUnitToSuccs

protected java.util.HashMap getUnitToSuccs()

getUnitToPreds

protected java.util.HashMap getUnitToPreds()

getBody

public Body getBody()

getHeads

public java.util.List getHeads()

Description copied from interface: DirectedGraph

Returns a list of entry points for this graph.

Specified by:

getHeads in interface DirectedGraph

getTails

public java.util.List getTails()

Description copied from interface: DirectedGraph

Returns a list of exit points for this graph.

Specified by:

getTails in interface DirectedGraph

getPredsOf

public java.util.List getPredsOf(java.lang.Object s)

Description copied from interface: DirectedGraph

Returns a list of predecessors for the given node in the graph.

Specified by:

getPredsOf in interface DirectedGraph

getSuccsOf

public java.util.List getSuccsOf(java.lang.Object s)

Description copied from interface: DirectedGraph

Returns a list of successors for the given node in the graph.

Specified by:

getSuccsOf in interface DirectedGraph

getCanNotBeCompacted

public java.util.Set getCanNotBeCompacted()

size

public int size()

Description copied from interface: DirectedGraph

Returns the node count for this graph.

Specified by:

size in interface DirectedGraph

mainIterator

public java.util.Iterator mainIterator()

iterator

public java.util.Iterator iterator()

Description copied from interface: DirectedGraph

Returns an iterator for the nodes in this graph. No specific ordering of the nodes is guaranteed.

Specified by:

iterator in interface java.lang.Iterable

Specified by:

iterator in interface DirectedGraph

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getExceHandlers

protected java.util.Set<Unit> getExceHandlers()

setMonitor

protected void setMonitor(java.util.Map<java.lang.String,FlowSet> m)

getMonitor

public java.util.Map<java.lang.String,FlowSet> getMonitor()

getMonitorObjs

public java.util.Set<java.lang.Object> getMonitorObjs()

getThreadAllocSites

protected java.util.Set getThreadAllocSites()

getSpecialJoin

protected java.util.Set<JPegStmt> getSpecialJoin()

getSynch

public java.util.HashSet<java.util.List> getSynch()

getStartToThread

public java.util.Map<JPegStmt,java.util.List> getStartToThread()

getStartToAllocNodes

public java.util.Map getStartToAllocNodes()

getWaitingNodes

protected java.util.Map<java.lang.String,FlowSet> getWaitingNodes()

getNotifyAll

public java.util.Map<java.lang.String,java.util.Set<JPegStmt>> getNotifyAll()

getAllocNodeToObj

protected java.util.Map<AllocNode,java.lang.String> getAllocNodeToObj()

getAllocNodeToThread

public java.util.Map<AllocNode,PegChain> getAllocNodeToThread()

getThreadNameToStart

protected java.util.Map getThreadNameToStart()

getMainPegChain

public PegChain getMainPegChain()

getMethodsNeedingInlining

public java.util.Set getMethodsNeedingInlining()

testIterator

protected void testIterator()

testWaitingNodes

public void testWaitingNodes()

testStartToThread

protected void testStartToThread()

testUnitToPeg

protected void testUnitToPeg(java.util.HashMap unitToPeg)

testUnitToSucc

protected void testUnitToSucc()

testUnitToPred

protected void testUnitToPred()

addTag

protected void addTag()

testSynch

protected void testSynch()

testThreadNameToStart

protected void testThreadNameToStart()

testJoinStmtToThread

protected void testJoinStmtToThread()

testPegChain

protected void testPegChain(Chain chain)

computeEdgeAndThreadNo

protected void computeEdgeAndThreadNo()

testList

protected void testList(java.util.List list)

testSet

protected void testSet(java.util.Set set,
                       java.lang.String name)

testMonitor

public void testMonitor()