|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AllocAndContext | |
|---|---|
| soot.jimple.spark.ondemand | |
| Uses of AllocAndContext in soot.jimple.spark.ondemand |
|---|
| Fields in soot.jimple.spark.ondemand with type parameters of type AllocAndContext | |
|---|---|
protected Map<DemandCSPointsTo.VarContextAndUp,Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>> |
DemandCSPointsTo.upContextCache
|
protected Map<DemandCSPointsTo.VarContextAndUp,Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>> |
DemandCSPointsTo.upContextCache
|
| Method parameters in soot.jimple.spark.ondemand with type arguments of type AllocAndContext | |
|---|---|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate |
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||