Package | Description |
---|---|
soot.jimple.spark.ondemand |
Modifier and Type | Method and Description |
---|---|
static DemandCSPointsTo |
DemandCSPointsTo.makeDefault()
Make a default analysis.
|
static DemandCSPointsTo |
DemandCSPointsTo.makeDefault()
Make a default analysis.
|
static DemandCSPointsTo |
DemandCSPointsTo.makeWithBudget(int maxTraversal,
int maxPasses,
boolean lazy) |
static DemandCSPointsTo |
DemandCSPointsTo.makeWithBudget(int maxTraversal,
int maxPasses,
boolean lazy) |
Constructor and Description |
---|
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo) |
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo) |