Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.sets |
Modifier and Type | Class and Description |
---|---|
class |
AllocAndContextSet |
class |
LazyContextSensitivePointsToSet
This is a lazy points-to set that is potentially context sensitive.
|
class |
WrappedPointsToSet |
Modifier and Type | Method and Description |
---|---|
EqualsSupportingPointsToSet |
LazyContextSensitivePointsToSet.getDelegate() |
EqualsSupportingPointsToSet |
LazyContextSensitivePointsToSet.getDelegate() |
Constructor and Description |
---|
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo) |
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo) |
Modifier and Type | Class and Description |
---|---|
class |
BitPointsToSet
Implementation of points-to set using a bit vector.
|
class |
DoublePointsToSet
Implementation of points-to set that holds two sets: one for new
elements that have not yet been propagated, and the other for elements
that have already been propagated.
|
class |
EmptyPointsToSet
Implementation of an empty, immutable points-to set.
|
class |
HashPointsToSet
HashSet implementation of points-to set.
|
class |
HybridPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for
small sets, and a bit vector for large sets.
|
class |
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
class |
SharedHybridSet
A shared representation of a points-to set which uses a bit vector + a list
of extra elements, an "overflow list", to make adding single elements fast in
most cases.
|
class |
SharedListSet
Implementation of a points-to set as a sorted list of elements,
but where similar lists share parts of their data.
|
class |
SortedArraySet
Implementation of points-to set using a sorted array.
|
Modifier and Type | Field and Description |
---|---|
protected EqualsSupportingPointsToSet |
PointsToSetEqualsWrapper.pts |
protected EqualsSupportingPointsToSet |
PointsToSetEqualsWrapper.pts |
Constructor and Description |
---|
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts) |
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts) |