Uses of Class soot.jimple.spark.ondemand.AllocAndContext (Soot - a J*va Optimization Framework 4.6.0 API)

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	Description
`protected Map<DemandCSPointsTo.VarContextAndUp,Map<AllocAndContext,DemandCSPointsTo.CallingContextSet>>`	DemandCSPointsTo.`upContextCache`

Methods in soot.jimple.spark.ondemand with parameters of type AllocAndContext
Modifier and Type	Method	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)`

Method parameters in soot.jimple.spark.ondemand with type arguments of type AllocAndContext
Modifier and Type	Method	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