Package qilin.pta.toolkits.debloaterx

Class XPAG

java.lang.Object

qilin.pta.toolkits.debloaterx.XPAG

public class XPAG
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<Node,Set<Edge>>	outEdges
protected final PAG	pag
protected final PTA	pta
protected final XUtility	utility

Constructor Summary

Constructors

Constructor	Description
XPAG(PTA pta, XUtility utility)

Method Summary

Modifier and Type	Method	Description
protected void	addAssignEdge(LocalVarNode from, LocalVarNode to)
protected void	addCLoadEdge(LocalVarNode base, LocalVarNode to)
protected void	addCStoreEdge(LocalVarNode from, LocalVarNode base)
protected void	addLoadEdge(LocalVarNode base, LocalVarNode to, SparkField field)
protected void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addNormalEdge(Edge edge)
protected void	addParamEdge(LocalVarNode param)
protected void	addReturnEdge(LocalVarNode ret)
protected void	addStoreEdge(LocalVarNode from, LocalVarNode base, SparkField field)
protected void	addThisEdge(LocalVarNode thisNode)
protected void	buildGraph(Collection<SootMethod> reachables)
protected void	buildInternal(SootMethod method)
protected void	buildInternalWithInline(SootMethod method)
LocalVarNode	getDummyThis()
Set<Edge>	getOutEdges(Node node)

Methods inherited from class java.lang.Object

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

Field Details

outEdges

protected final Map<Node,Set<Edge>> outEdges

pta

protected final PTA pta

pag

protected final PAG pag

utility

protected final XUtility utility

Constructor Details

XPAG

public XPAG(PTA pta,
 XUtility utility)

Method Details

buildGraph

protected void buildGraph(Collection<SootMethod> reachables)

buildInternal

protected void buildInternal(SootMethod method)

buildInternalWithInline

protected void buildInternalWithInline(SootMethod method)

addNormalEdge

protected void addNormalEdge(Edge edge)

addNewEdge

protected void addNewEdge(AllocNode from,
 LocalVarNode to)

addAssignEdge

protected void addAssignEdge(LocalVarNode from,
 LocalVarNode to)

addStoreEdge

protected void addStoreEdge(LocalVarNode from,
 LocalVarNode base,
 SparkField field)

addLoadEdge

protected void addLoadEdge(LocalVarNode base,
 LocalVarNode to,
 SparkField field)

addCStoreEdge

protected void addCStoreEdge(LocalVarNode from,
 LocalVarNode base)

addCLoadEdge

protected void addCLoadEdge(LocalVarNode base,
 LocalVarNode to)

addThisEdge

protected void addThisEdge(LocalVarNode thisNode)

addParamEdge

protected void addParamEdge(LocalVarNode param)

addReturnEdge

protected void addReturnEdge(LocalVarNode ret)

getOutEdges

public Set<Edge> getOutEdges(Node node)

getDummyThis

public LocalVarNode getDummyThis()