Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.genericutil |
Modifier and Type | Field and Description |
---|---|
protected Stack<Pair<Integer,ImmutableStack<Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<Pair<Integer,ImmutableStack<Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<DemandCSPointsTo.VarAndContext> |
DemandCSPointsTo.contextForAllocsStack |
protected Stack<DemandCSPointsTo.VarAndContext> |
DemandCSPointsTo.contextForAllocsStack |
Modifier and Type | Method and Description |
---|---|
protected void |
DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h,
Stack<DemandCSPointsTo.VarAndContext> worklist) |
protected void |
DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h,
Stack<DemandCSPointsTo.VarAndContext> worklist) |
Modifier and Type | Method and Description |
---|---|
Stack<T> |
Stack.clone() |
Stack<T> |
Stack.clone() |
Constructor and Description |
---|
Propagator(Set<T> marked,
Stack<T> worklist) |
Propagator(Set<T> marked,
Stack<T> worklist) |