Package qilin.core.builder

Class CallGraphBuilder

java.lang.Object

qilin.core.builder.CallGraphBuilder

public class CallGraphBuilder
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Set<Edge>	calledges
protected OnFlyCallGraph	cicg
protected final Map<SootMethod,Map<Object,InvokableStmt>>	methodToInvokeStmt
protected final PAG	pag
protected final PTA	pta
protected final PTAScene	ptaScene
protected final Set<ContextMethod>	reachMethods
protected final Map<VarNode,Collection<VirtualCallSite>>	receiverToSites
protected final VirtualCalls	virtualCalls

Constructor Summary

Constructors

Constructor	Description
CallGraphBuilder(PTA pta)

Method Summary

Modifier and Type	Method	Description
void	addDynamicInvokeEdge(ContextMethod caller, InvokableStmt callStmt, SootMethod calleem, DynamicInvokeTarget target)	Adds an edge from an invokedynamic statement to one of its DynamicInvokeTargets and binds the captured values (the statement's arguments) to the target's receiver/parameters.
void	addStaticEdge(ContextMethod caller, InvokableStmt callStmt, SootMethod calleem, Kind kind)
Collection<VirtualCallSite>	callSitesLookUp(VarNode receiver)
protected void	dispatch(AllocNode receiverNode, VirtualCallSite site)
QueueReader<SootMethod>	dispatch(Type type, VirtualCallSite site)
OnFlyCallGraph	getCallGraph()
OnFlyCallGraph	getCICallGraph()
List<ContextMethod>	getEntryPoints()
Collection<ContextMethod>	getReachableMethods()
Map<VarNode,Collection<VirtualCallSite>>	getReceiverToSitesMap()
VarNode	getReceiverVarNode(Local receiver, ContextMethod m)
protected void	handleCallEdge(Edge edge)
void	initReachableMethods()
void	injectCallEdge(Object heapOrType, ContextMethod callee, Kind kind)
boolean	recordVirtualCallSite(VarNode receiver, VirtualCallSite site)
SootMethod	resolveNonSpecial(ClassType t, MethodSubSignature subSig)
void	setRMQueue(ChunkedQueue<ContextMethod> rmQueue)
void	virtualCallDispatch(PointsToSetInternal p2set, VirtualCallSite site)

Methods inherited from class java.lang.Object

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

Field Details

receiverToSites

protected final Map<VarNode,Collection<VirtualCallSite>> receiverToSites

methodToInvokeStmt

protected final Map<SootMethod,Map<Object,InvokableStmt>> methodToInvokeStmt

reachMethods

protected final Set<ContextMethod> reachMethods

calledges

protected final Set<Edge> calledges

pta

protected final PTA pta

pag

protected final PAG pag

ptaScene

protected final PTAScene ptaScene

virtualCalls

protected final VirtualCalls virtualCalls

cicg

protected OnFlyCallGraph cicg

Constructor Details

CallGraphBuilder

public CallGraphBuilder(PTA pta)

Method Details

setRMQueue

public void setRMQueue(ChunkedQueue<ContextMethod> rmQueue)

getReachableMethods

public Collection<ContextMethod> getReachableMethods()

getReceiverToSitesMap

public Map<VarNode,Collection<VirtualCallSite>> getReceiverToSitesMap()

callSitesLookUp

public Collection<VirtualCallSite> callSitesLookUp(VarNode receiver)

resolveNonSpecial

public SootMethod resolveNonSpecial(ClassType t,
 MethodSubSignature subSig)

getCallGraph

public OnFlyCallGraph getCallGraph()

getCICallGraph

public OnFlyCallGraph getCICallGraph()

getEntryPoints

public List<ContextMethod> getEntryPoints()

initReachableMethods

public void initReachableMethods()

getReceiverVarNode

public VarNode getReceiverVarNode(Local receiver,
 ContextMethod m)

dispatch

protected void dispatch(AllocNode receiverNode,
 VirtualCallSite site)

injectCallEdge

public void injectCallEdge(Object heapOrType,
 ContextMethod callee,
 Kind kind)

addStaticEdge

public void addStaticEdge(ContextMethod caller,
 InvokableStmt callStmt,
 SootMethod calleem,
 Kind kind)

addDynamicInvokeEdge

public void addDynamicInvokeEdge(ContextMethod caller,
 InvokableStmt callStmt,
 SootMethod calleem,
 DynamicInvokeTarget target)

Adds an edge from an invokedynamic statement to one of its DynamicInvokeTargets and binds the captured values (the statement's arguments) to the target's receiver/parameters. No return or exception flow: the statement yields the functional object, not the target's result.

handleCallEdge

protected void handleCallEdge(Edge edge)

recordVirtualCallSite

public boolean recordVirtualCallSite(VarNode receiver,
 VirtualCallSite site)

virtualCallDispatch

public void virtualCallDispatch(PointsToSetInternal p2set,
 VirtualCallSite site)

dispatch

public QueueReader<SootMethod> dispatch(Type type,
 VirtualCallSite site)