|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use soot.jimple.spark.sets | |
|---|---|
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.jimple.spark.ondemand | |
| soot.jimple.spark.ondemand.pautil | |
| soot.jimple.spark.pag | |
| soot.jimple.spark.sets | |
| soot.jimple.spark.solver | |
| soot.jimple.toolkits.thread.synchronization | |
| Classes in soot.jimple.spark.sets used by soot | |
|---|---|
| AllSharedHybridNodes
A singleton to hold the hash table for SharedHybridSet |
|
| AllSharedListNodes
A singleton to hold the hash table for SharedListSet |
|
| EmptyPointsToSet
Implementation of an empty, immutable points-to set. |
|
| P2SetFactory
Abstract base class for points-to set factory. |
|
| Classes in soot.jimple.spark.sets used by soot.jimple.spark.ondemand | |
|---|---|
| EqualsSupportingPointsToSet
A points-to set supporting deep equals and hashCode operations. |
|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
| Classes in soot.jimple.spark.sets used by soot.jimple.spark.ondemand.pautil | |
|---|---|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
| Classes in soot.jimple.spark.sets used by soot.jimple.spark.pag | |
|---|---|
| P2SetFactory
Abstract base class for points-to set factory. |
|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
| Classes in soot.jimple.spark.sets used by soot.jimple.spark.sets | |
|---|---|
| AllSharedHybridNodes
A singleton to hold the hash table for SharedHybridSet |
|
| AllSharedHybridNodes.BitVectorLookupMap
|
|
| AllSharedListNodes
A singleton to hold the hash table for SharedListSet |
|
| EmptyPointsToSet
Implementation of an empty, immutable points-to set. |
|
| EqualsSupportingPointsToSet
A points-to set supporting deep equals and hashCode operations. |
|
| HybridPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets. |
|
| P2SetFactory
Abstract base class for points-to set factory. |
|
| P2SetVisitor
Abstract base class for points-to set visitors used to enumerate points-to sets. |
|
| PointsToBitVector
An extension of a bit vector which is convenient to use to represent points-to sets. |
|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
| SharedListSet.ListNode
|
|
| SharedListSet.Pair
|
|
| Classes in soot.jimple.spark.sets used by soot.jimple.spark.solver | |
|---|---|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
| Classes in soot.jimple.spark.sets used by soot.jimple.toolkits.thread.synchronization | |
|---|---|
| PointsToSetInternal
Abstract base class for implementations of points-to sets. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||