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
-
-
Constructor Summary
Constructors Constructor Description ContextSensitiveInfo(PAG pag)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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)SootMethodgetInvokedMethod(Integer callSite)SootMethodgetInvokingMethod(Integer callSite)ArraySet<VarNode>getNodesForMethod(SootMethod method)ArraySet<VarNode>getOutPortsForMethod(SootMethod method)LocalVarNodegetReceiverForVirtCallSite(Integer callSite)Set<Integer>getVirtCallSitesForReceiver(LocalVarNode receiver)booleanisVirtCall(Integer callSite)Set<SootMethod>methods()
-
-
-
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)
-
-