| Package | Description |
|---|---|
| soot.jimple.spark.ondemand | |
| soot.jimple.spark.ondemand.genericutil | |
| soot.jimple.spark.ondemand.pautil |
| Modifier and Type | Field and Description |
|---|---|
ImmutableStack<java.lang.Integer> |
AllocAndContext.context |
ImmutableStack<java.lang.Integer> |
AllocAndContext.context |
protected static ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.EMPTY_CALLSTACK |
protected static ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.EMPTY_CALLSTACK |
| Modifier and Type | Field and Description |
|---|---|
protected Stack<Pair<java.lang.Integer,ImmutableStack<java.lang.Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<Pair<java.lang.Integer,ImmutableStack<java.lang.Integer>>> |
DemandCSPointsTo.callGraphStack |
| Modifier and Type | Method and Description |
|---|---|
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<java.lang.Integer> context) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<java.lang.Integer> context) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Collection<AssignEdge> |
DemandCSPointsTo.filterAssigns(VarNode v,
ImmutableStack<java.lang.Integer> callingContext,
boolean forward,
boolean refineVirtCalls) |
protected java.util.Collection<AssignEdge> |
DemandCSPointsTo.filterAssigns(VarNode v,
ImmutableStack<java.lang.Integer> callingContext,
boolean forward,
boolean refineVirtCalls) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<java.lang.Integer> context) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<java.lang.Integer> context) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<java.lang.Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<java.lang.Integer> context,
AssignEdge assignEdge) |
protected java.util.Set<SootMethod> |
DemandCSPointsTo.refineCallSite(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> origContext) |
protected java.util.Set<SootMethod> |
DemandCSPointsTo.refineCallSite(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> origContext) |
| Constructor and Description |
|---|
AllocAndContext(AllocNode alloc,
ImmutableStack<java.lang.Integer> context) |
AllocAndContext(AllocNode alloc,
ImmutableStack<java.lang.Integer> context) |
DemandCSPointsTo.CallSiteAndContext(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> callingContext) |
DemandCSPointsTo.CallSiteAndContext(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> callingContext) |
DemandCSPointsTo.VarAndContext(VarNode var,
ImmutableStack<java.lang.Integer> context) |
DemandCSPointsTo.VarAndContext(VarNode var,
ImmutableStack<java.lang.Integer> context) |
DemandCSPointsTo.VarContextAndUp(VarNode var,
ImmutableStack<java.lang.Integer> context,
ImmutableStack<java.lang.Integer> upContext) |
DemandCSPointsTo.VarContextAndUp(VarNode var,
ImmutableStack<java.lang.Integer> context,
ImmutableStack<java.lang.Integer> upContext) |
DemandCSPointsTo.VarContextAndUp(VarNode var,
ImmutableStack<java.lang.Integer> context,
ImmutableStack<java.lang.Integer> upContext) |
DemandCSPointsTo.VarContextAndUp(VarNode var,
ImmutableStack<java.lang.Integer> context,
ImmutableStack<java.lang.Integer> upContext) |
| Modifier and Type | Method and Description |
|---|---|
static <T> ImmutableStack<T> |
ImmutableStack.emptyStack() |
static <T> ImmutableStack<T> |
ImmutableStack.emptyStack() |
ImmutableStack<T> |
ImmutableStack.pop() |
ImmutableStack<T> |
ImmutableStack.pop() |
ImmutableStack<T> |
ImmutableStack.popAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.popAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.push(T entry) |
ImmutableStack<T> |
ImmutableStack.push(T entry) |
ImmutableStack<T> |
ImmutableStack.pushAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.pushAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.reverse() |
ImmutableStack<T> |
ImmutableStack.reverse() |
| Modifier and Type | Method and Description |
|---|---|
ImmutableStack<T> |
ImmutableStack.popAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.popAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.pushAll(ImmutableStack<T> other) |
ImmutableStack<T> |
ImmutableStack.pushAll(ImmutableStack<T> other) |
boolean |
ImmutableStack.topMatches(ImmutableStack<T> other) |
boolean |
ImmutableStack.topMatches(ImmutableStack<T> other) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
AllocationSiteHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack)
handle a particular allocation site
|
boolean |
AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
boolean |
AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
boolean |
AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
boolean |
AllocationSiteHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack)
handle a particular allocation site
|
boolean |
AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
boolean |
AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
boolean |
AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<java.lang.Integer> callStack) |
| Constructor and Description |
|---|
SootUtil.CallSiteAndContext(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> callingContext) |
SootUtil.CallSiteAndContext(java.lang.Integer callSite,
ImmutableStack<java.lang.Integer> callingContext) |