Package qilin.pta.toolkits.eagle

Class Eagle

java.lang.Object

qilin.pta.toolkits.eagle.Eagle

public class Eagle
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Set<BNode>	allocIs
Set<BNode>	allocs
protected Map<BNode,Set<BNode>>	balancedOutEdges
Map<BNode,Set<BNode>>	outEdges
protected Map<Object,Map<Boolean,BNode>>	sparkNode2BNode
protected int	store_count

Constructor Summary

Constructors

Constructor	Description
Eagle()

Method Summary

Modifier and Type	Method	Description
void	addAssignEdge(LocalVarNode from, LocalVarNode to)
boolean	addBalancedEdge(BNode from, BNode to)
protected void	addBalancedEdge(BNode from, BNode to, Queue<BNode> workList)
void	addHloadEdge(AllocNode baseObj, Object to)
void	addHstoreEdge(Object from, AllocNode baseObj)
void	addLoadEdge(LocalVarNode base, LocalVarNode to)
void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addNormalEdge(BNode from, BNode to)
protected void	addParamEdges(AllocNode o, LocalVarNode thisRef, LocalVarNode[] parms, LocalVarNode mret, LocalVarNode mThrow)
void	addStoreEdge(LocalVarNode from, LocalVarNode base)
void	buildGraph(PTA prePTA)
Map<Object,Integer>	contxtLengthAnalysis()
void	dumpCount()
protected boolean	enterCS(BNode node)
Set<BNode>	getAllOutEdges(BNode node)
BNode	getBNode(Object origin, Boolean forward)
Collection<? extends BNode>	getNodes()
Collection<BNode>	getOutEdges(BNode node)
Collection<Object>	getSparkNodes()
boolean	reachValidReceiverObject(BNode from, BNode to)
int	totalEdgesCount()
int	totalNodesCount()

Methods inherited from class java.lang.Object

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

Field Details

sparkNode2BNode

protected Map<Object,Map<Boolean,BNode>> sparkNode2BNode

allocs

public Set<BNode> allocs

allocIs

public Set<BNode> allocIs

outEdges

public Map<BNode,Set<BNode>> outEdges

balancedOutEdges

protected Map<BNode,Set<BNode>> balancedOutEdges

store_count

protected int store_count

Constructor Details

Eagle

public Eagle()

Method Details

dumpCount

public void dumpCount()

getNodes

public Collection<? extends BNode> getNodes()

getSparkNodes

public Collection<Object> getSparkNodes()

getBNode

public BNode getBNode(Object origin,
 Boolean forward)

addNormalEdge

protected void addNormalEdge(BNode from,
 BNode to)

addBalancedEdge

public boolean addBalancedEdge(BNode from,
 BNode to)

addNewEdge

public void addNewEdge(AllocNode from,
 LocalVarNode to)

addAssignEdge

public void addAssignEdge(LocalVarNode from,
 LocalVarNode to)

addStoreEdge

public void addStoreEdge(LocalVarNode from,
 LocalVarNode base)

addLoadEdge

public void addLoadEdge(LocalVarNode base,
 LocalVarNode to)

addHstoreEdge

public void addHstoreEdge(Object from,
 AllocNode baseObj)

addHloadEdge

public void addHloadEdge(AllocNode baseObj,
 Object to)

totalEdgesCount

public int totalEdgesCount()

totalNodesCount

public int totalNodesCount()

getAllOutEdges

public Set<BNode> getAllOutEdges(BNode node)

getOutEdges

public Collection<BNode> getOutEdges(BNode node)

reachValidReceiverObject

public boolean reachValidReceiverObject(BNode from,
 BNode to)

enterCS

protected boolean enterCS(BNode node)

contxtLengthAnalysis

public Map<Object,Integer> contxtLengthAnalysis()

addBalancedEdge

protected void addBalancedEdge(BNode from,
 BNode to,
 Queue<BNode> workList)

addParamEdges

protected void addParamEdges(AllocNode o,
 LocalVarNode thisRef,
 LocalVarNode[] parms,
 LocalVarNode mret,
 LocalVarNode mThrow)

buildGraph

public void buildGraph(PTA prePTA)