Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.genericutil | |
soot.jimple.spark.ondemand.pautil |
Modifier and Type | Field and Description |
---|---|
ImmutableStack<Integer> |
AllocAndContext.context |
ImmutableStack<Integer> |
AllocAndContext.context |
protected static ImmutableStack<Integer> |
DemandCSPointsTo.EMPTY_CALLSTACK |
protected static ImmutableStack<Integer> |
DemandCSPointsTo.EMPTY_CALLSTACK |
Modifier and Type | Field and Description |
---|---|
protected Stack<Pair<Integer,ImmutableStack<Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<Pair<Integer,ImmutableStack<Integer>>> |
DemandCSPointsTo.callGraphStack |
Modifier and Type | Method and Description |
---|---|
protected ImmutableStack<Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<Integer> context) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<Integer> context) |
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 |
---|---|
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) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected boolean |
DemandCSPointsTo.isRecursive(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<Integer> context) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.popRecursiveCallSites(ImmutableStack<Integer> context) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected ImmutableStack<Integer> |
DemandCSPointsTo.pushWithRecursionCheck(ImmutableStack<Integer> context,
AssignEdge assignEdge) |
protected Set<SootMethod> |
DemandCSPointsTo.refineCallSite(Integer callSite,
ImmutableStack<Integer> origContext) |
protected Set<SootMethod> |
DemandCSPointsTo.refineCallSite(Integer callSite,
ImmutableStack<Integer> origContext) |
Constructor and Description |
---|
AllocAndContext(AllocNode alloc,
ImmutableStack<Integer> context) |
AllocAndContext(AllocNode alloc,
ImmutableStack<Integer> context) |
CallSiteAndContext(Integer callSite,
ImmutableStack<Integer> callingContext) |
CallSiteAndContext(Integer callSite,
ImmutableStack<Integer> callingContext) |
VarAndContext(VarNode var,
ImmutableStack<Integer> context) |
VarAndContext(VarNode var,
ImmutableStack<Integer> context) |
VarContextAndUp(VarNode var,
ImmutableStack<Integer> context,
ImmutableStack<Integer> upContext) |
VarContextAndUp(VarNode var,
ImmutableStack<Integer> context,
ImmutableStack<Integer> upContext) |
VarContextAndUp(VarNode var,
ImmutableStack<Integer> context,
ImmutableStack<Integer> upContext) |
VarContextAndUp(VarNode var,
ImmutableStack<Integer> context,
ImmutableStack<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<Integer> callStack)
handle a particular allocation site
|
boolean |
AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
boolean |
AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
boolean |
AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
boolean |
AllocationSiteHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack)
handle a particular allocation site
|
boolean |
AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
boolean |
AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
boolean |
AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack) |
Constructor and Description |
---|
CallSiteAndContext(Integer callSite,
ImmutableStack<Integer> callingContext) |
CallSiteAndContext(Integer callSite,
ImmutableStack<Integer> callingContext) |