soot.jimple.spark.ondemand.pautil
Class ContextSensitiveInfo
java.lang.Object
soot.jimple.spark.ondemand.pautil.ContextSensitiveInfo
public class ContextSensitiveInfo
- extends Object
Information for a context-sensitive analysis, eg. for call sites
- Author:
- manu
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ContextSensitiveInfo
public ContextSensitiveInfo(PAG pag)
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)