Uses of Class
soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext

Packages that use DemandCSPointsTo.VarAndContext

soot.jimple.spark.ondemand

Uses of DemandCSPointsTo.VarAndContext in soot.jimple.spark.ondemand

Subclasses of DemandCSPointsTo.VarAndContext in soot.jimple.spark.ondemand

protected static class

DemandCSPointsTo.VarContextAndUp

Fields in soot.jimple.spark.ondemand with type parameters of type DemandCSPointsTo.VarAndContext

protected Stack<DemandCSPointsTo.VarAndContext>	DemandCSPointsTo.contextForAllocsStack
protected Stack<DemandCSPointsTo.VarAndContext>	DemandCSPointsTo.contextForAllocsStack
protected Map<DemandCSPointsTo.VarAndContext,Pair<PointsToSetInternal,AllocAndContextSet>>	DemandCSPointsTo.contextsForAllocsCache
protected Map<DemandCSPointsTo.VarAndContext,Pair<PointsToSetInternal,AllocAndContextSet>>	DemandCSPointsTo.contextsForAllocsCache

Methods in soot.jimple.spark.ondemand with parameters of type DemandCSPointsTo.VarAndContext

protected PointsToSetInternal	DemandCSPointsTo.checkContextsForAllocsCache(DemandCSPointsTo.VarAndContext varAndContext, AllocAndContextSet ret, PointsToSetInternal locs)
protected PointsToSetInternal	DemandCSPointsTo.checkContextsForAllocsCache(DemandCSPointsTo.VarAndContext varAndContext, AllocAndContextSet ret, PointsToSetInternal locs)
protected AllocAndContextSet	DemandCSPointsTo.findContextsForAllocs(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal locs)
protected AllocAndContextSet	DemandCSPointsTo.findContextsForAllocs(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal locs)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
protected boolean	DemandCSPointsTo.refineP2Set(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal badLocs)
protected boolean	DemandCSPointsTo.refineP2Set(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal badLocs)

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

protected void	DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h, Stack<DemandCSPointsTo.VarAndContext> worklist)
protected void	DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h, Stack<DemandCSPointsTo.VarAndContext> worklist)