Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.pautil |
Modifier and Type | Method and Description |
---|---|
protected Collection<AssignEdge> |
DemandCSPointsTo.filterAssigns(VarNode v,
ImmutableStack<Integer> callingContext,
boolean forward,
boolean refineVirtCalls) |
protected Collection<AssignEdge> |
DemandCSPointsTo.filterAssigns(VarNode v,
ImmutableStack<Integer> callingContext,
boolean forward,
boolean refineVirtCalls) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
DemandCSPointsTo.callEdgeInSCC(AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.callEdgeInSCC(AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
Modifier and Type | Method and Description |
---|---|
ArraySet<AssignEdge> |
ContextSensitiveInfo.getAssignBarEdges(VarNode node) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getAssignBarEdges(VarNode node) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getAssignEdges(VarNode node) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getAssignEdges(VarNode node) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getCallSiteEdges(Integer callSite) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getCallSiteEdges(Integer callSite) |