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 and 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 and Description
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)