| 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() |
| Constructor and Description |
|---|
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 |
| Modifier and Type | Method and Description |
|---|---|
EqualsSupportingPointsToSet |
PointsToSetEqualsWrapper.unwarp() |
| Constructor and Description |
|---|
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts) |
Copyright © 2020 Soot OSS. All rights reserved.