| Package | Description |
|---|---|
| soot.jimple.spark.ondemand |
| Modifier and Type | Field and Description |
|---|---|
protected Map<DemandCSPointsTo.VarContextAndUp,Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>> |
DemandCSPointsTo.upContextCache |
| Modifier and Type | Method and Description |
|---|---|
protected DemandCSPointsTo.CallingContextSet |
DemandCSPointsTo.checkAllocAndContextCache(AllocAndContext allocAndContext,
VarNode targetVar) |
protected DemandCSPointsTo.CallingContextSet |
DemandCSPointsTo.checkUpContextCache(DemandCSPointsTo.VarContextAndUp varContextAndUp,
AllocAndContext allocAndContext) |
protected DemandCSPointsTo.CallingContextSet |
DemandCSPointsTo.findUpContextsForVar(AllocAndContext allocAndContext,
DemandCSPointsTo.VarContextAndUp varContextAndUp) |
protected DemandCSPointsTo.CallingContextSet |
DemandCSPointsTo.findVarContextsFromAlloc(AllocAndContext allocAndContext,
VarNode targetVar) |
protected Set<VarNode> |
DemandCSPointsTo.getFlowsToHelper(AllocAndContext allocAndContext) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate
|
Copyright © 2020 Soot OSS. All rights reserved.