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

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

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

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 Set<VarNode>	DemandCSPointsTo.getFlowsToHelper(AllocAndContext allocAndContext)
protected Set<VarNode>	DemandCSPointsTo.getFlowsToHelper(AllocAndContext allocAndContext)

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