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

Packages that use DemandCSPointsTo

Package	Description
soot.jimple.spark.ondemand

Uses of DemandCSPointsTo in soot.jimple.spark.ondemand

Methods in soot.jimple.spark.ondemand that return DemandCSPointsTo

Modifier and Type	Method	Description
static DemandCSPointsTo	DemandCSPointsTo.makeDefault()	Make a default analysis.
static DemandCSPointsTo	DemandCSPointsTo.makeWithBudget(int maxTraversal, int maxPasses, boolean lazy)

Constructors in soot.jimple.spark.ondemand with parameters of type DemandCSPointsTo

Constructor	Description
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)