|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EqualsSupportingPointsToSet | |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.sets |
Uses of EqualsSupportingPointsToSet in soot.jimple.spark.ondemand |
---|
Classes in soot.jimple.spark.ondemand that implement EqualsSupportingPointsToSet | |
---|---|
class |
AllocAndContextSet
|
class |
LazyContextSensitivePointsToSet
This is a lazy points-to set that is potentially context sensitive. |
class |
WrappedPointsToSet
|
Methods in soot.jimple.spark.ondemand that return EqualsSupportingPointsToSet | |
---|---|
EqualsSupportingPointsToSet |
LazyContextSensitivePointsToSet.getDelegate()
|
EqualsSupportingPointsToSet |
LazyContextSensitivePointsToSet.getDelegate()
|
Constructors in soot.jimple.spark.ondemand with parameters of type EqualsSupportingPointsToSet | |
---|---|
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo)
|
|
LazyContextSensitivePointsToSet(Local l,
EqualsSupportingPointsToSet contextInsensitiveSet,
DemandCSPointsTo demandCSPointsTo)
|
Uses of EqualsSupportingPointsToSet in soot.jimple.spark.sets |
---|
Classes in soot.jimple.spark.sets that implement EqualsSupportingPointsToSet | |
---|---|
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. |
Fields in soot.jimple.spark.sets declared as EqualsSupportingPointsToSet | |
---|---|
protected EqualsSupportingPointsToSet |
PointsToSetEqualsWrapper.pts
|
protected EqualsSupportingPointsToSet |
PointsToSetEqualsWrapper.pts
|
Constructors in soot.jimple.spark.sets with parameters of type EqualsSupportingPointsToSet | |
---|---|
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)
|
|
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |