| 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) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
DemandCSPointsTo.callEdgeInSCC(AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.isRecursive(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.getAssignEdges(VarNode node) |
ArraySet<AssignEdge> |
ContextSensitiveInfo.getCallSiteEdges(Integer callSite) |
Copyright © 2020 Soot OSS. All rights reserved.