Uses of Class
soot.jimple.spark.ondemand.AllocAndContext

Packages that use AllocAndContext

Package	Description
soot.jimple.spark.ondemand

Uses of AllocAndContext in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand with type parameters of type AllocAndContext

Modifier and Type	Field and Description
protected java.util.Map<DemandCSPointsTo.VarContextAndUp,java.util.Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>>	DemandCSPointsTo.upContextCache
protected java.util.Map<DemandCSPointsTo.VarContextAndUp,java.util.Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>>	DemandCSPointsTo.upContextCache

Methods in soot.jimple.spark.ondemand with parameters of type AllocAndContext

Modifier and Type	Method and Description
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.checkAllocAndContextCache(AllocAndContext allocAndContext, VarNode targetVar)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.checkAllocAndContextCache(AllocAndContext allocAndContext, VarNode targetVar)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.checkUpContextCache(DemandCSPointsTo.VarContextAndUp varContextAndUp, AllocAndContext allocAndContext)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.checkUpContextCache(DemandCSPointsTo.VarContextAndUp varContextAndUp, AllocAndContext allocAndContext)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.findUpContextsForVar(AllocAndContext allocAndContext, DemandCSPointsTo.VarContextAndUp varContextAndUp)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.findUpContextsForVar(AllocAndContext allocAndContext, DemandCSPointsTo.VarContextAndUp varContextAndUp)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.findVarContextsFromAlloc(AllocAndContext allocAndContext, VarNode targetVar)
protected DemandCSPointsTo.CallingContextSet	DemandCSPointsTo.findVarContextsFromAlloc(AllocAndContext allocAndContext, VarNode targetVar)
protected java.util.Set<VarNode>	DemandCSPointsTo.getFlowsToHelper(AllocAndContext allocAndContext)
protected java.util.Set<VarNode>	DemandCSPointsTo.getFlowsToHelper(AllocAndContext allocAndContext)

Method parameters in soot.jimple.spark.ondemand with type arguments of type AllocAndContext

Modifier and Type	Method and Description
protected boolean	DemandCSPointsTo.checkP2Set(VarNode v, HeuristicType heuristic, Predicate<java.util.Set<AllocAndContext>> p2setPred) check the computed points-to set of a variable against some predicate
protected boolean	DemandCSPointsTo.checkP2Set(VarNode v, HeuristicType heuristic, Predicate<java.util.Set<AllocAndContext>> p2setPred) check the computed points-to set of a variable against some predicate