Package | Description |
---|---|
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 |
Class and Description |
---|
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.
|
Class and Description |
---|
EqualsSupportingPointsToSet
A points-to set supporting deep equals and hashCode operations.
|
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
Class and Description |
---|
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
Class and Description |
---|
P2SetFactory
Abstract base class for points-to set factory.
|
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
Class and Description |
---|
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 |
Class and Description |
---|
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
Class and Description |
---|
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|