| soot.jimple.spark.sets |
|
| Java Source File Name | Type | Comment |
| AllSharedHybridNodes.java | Class | |
| AllSharedListNodes.java | Class | |
| BitPointsToSet.java | Class | Implementation of points-to set using a bit vector. |
| DoublePointsToSet.java | Class | 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. |
| EmptyPointsToSet.java | Class | Implementation of an empty, immutable points-to set. |
| EqualsSupportingPointsToSet.java | Interface | A points-to set supporting deep equals and hashCode operations. |
| HashPointsToSet.java | Class | HashSet implementation of points-to set. |
| HybridPointsToSet.java | Class | Hybrid implementation of points-to set, which uses an explicit array for
small sets, and a bit vector for large sets. |
| P2SetFactory.java | Class | Abstract base class for points-to set factory. |
| P2SetVisitor.java | Class | Abstract base class for points-to set visitors used to enumerate
points-to sets. |
| PointsToBitVector.java | Class | An extension of a bit vector which is convenient to use to represent
points-to sets. |
| PointsToSetEqualsWrapper.java | Class | A decorator that implements equals/hashCode for
PointsToSet supporting the
EqualsSupportingPointsToSet interface. |
| PointsToSetInternal.java | Class | Abstract base class for implementations of points-to sets. |
| SharedHybridSet.java | Class | 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.
The bit vector may be shared by multiple points-to sets, while the overflow
list is specific to each points-to set.
To facilitate sharing of the bitvectors, there is a "hash table" of all
existing bitvectors kept, called BitVectorLookupMap, where the ith element
contains a list of all existing bitvectors of cardinality i (i.e. |
| SharedListSet.java | Class | Implementation of a points-to set as a sorted list of elements,
but where similar lists share parts of their data. |
| SortedArraySet.java | Class | Implementation of points-to set using a sorted array. |