soot.jimple.spark.ondemand.pautil
Class ContextSensitiveInfo

java.lang.Object
  extended by soot.jimple.spark.ondemand.pautil.ContextSensitiveInfo

public class ContextSensitiveInfo
extends Object

Information for a context-sensitive analysis, eg. for call sites

Author:
manu

Constructor Summary
ContextSensitiveInfo(PAG pag)
           
 
Method Summary
 ArraySet<AssignEdge> getAssignBarEdges(VarNode node)
           
 ArraySet<AssignEdge> getAssignEdges(VarNode node)
           
 ArraySet<AssignEdge> getCallSiteEdges(Integer callSite)
           
 ArraySet<Integer> getCallSitesInMethod(SootMethod method)
           
 Set<Integer> getCallSitesInvokingMethod(SootMethod method)
           
 ArraySet<SootMethod> getCallSiteTargets(Integer callSite)
           
 ArraySet<VarNode> getInPortsForMethod(SootMethod method)
           
 SootMethod getInvokedMethod(Integer callSite)
           
 SootMethod getInvokingMethod(Integer callSite)
           
 ArraySet<VarNode> getNodesForMethod(SootMethod method)
           
 ArraySet<VarNode> getOutPortsForMethod(SootMethod method)
           
 LocalVarNode getReceiverForVirtCallSite(Integer callSite)
           
 Set<Integer> getVirtCallSitesForReceiver(LocalVarNode receiver)
           
 boolean isVirtCall(Integer callSite)
           
 Set<SootMethod> methods()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContextSensitiveInfo

public ContextSensitiveInfo(PAG pag)
Method Detail

getAssignBarEdges

public ArraySet<AssignEdge> getAssignBarEdges(VarNode node)

getAssignEdges

public ArraySet<AssignEdge> getAssignEdges(VarNode node)
Parameters:
node -
Returns:
edges capturing assign flow into node

methods

public Set<SootMethod> methods()

getNodesForMethod

public ArraySet<VarNode> getNodesForMethod(SootMethod method)

getInPortsForMethod

public ArraySet<VarNode> getInPortsForMethod(SootMethod method)

getOutPortsForMethod

public ArraySet<VarNode> getOutPortsForMethod(SootMethod method)

getCallSitesInMethod

public ArraySet<Integer> getCallSitesInMethod(SootMethod method)
Parameters:
method -
Returns:

getCallSitesInvokingMethod

public Set<Integer> getCallSitesInvokingMethod(SootMethod method)

getCallSiteEdges

public ArraySet<AssignEdge> getCallSiteEdges(Integer callSite)

getCallSiteTargets

public ArraySet<SootMethod> getCallSiteTargets(Integer callSite)

getReceiverForVirtCallSite

public LocalVarNode getReceiverForVirtCallSite(Integer callSite)

getVirtCallSitesForReceiver

public Set<Integer> getVirtCallSitesForReceiver(LocalVarNode receiver)

getInvokedMethod

public SootMethod getInvokedMethod(Integer callSite)

getInvokingMethod

public SootMethod getInvokingMethod(Integer callSite)

isVirtCall

public boolean isVirtCall(Integer callSite)