|
||||||||||
| 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 | |||||||||