Uses of Package
soot.jimple.spark.sets
-
Packages that use soot.jimple.spark.sets 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 -
Classes in soot.jimple.spark.sets used by soot Class Description AllSharedHybridNodes A singleton to hold the hash table for SharedHybridSetAllSharedListNodes A singleton to hold the hash table for SharedListSetEmptyPointsToSet 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 Class Description 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 Class Description PointsToSetInternal Abstract base class for implementations of points-to sets. -
Classes in soot.jimple.spark.sets used by soot.jimple.spark.pag Class Description 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 Class Description AllSharedHybridNodes A singleton to hold the hash table for SharedHybridSetAllSharedHybridNodes.BitVectorLookupMap AllSharedListNodes A singleton to hold the hash table for SharedListSetEmptyPointsToSet 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 Class Description PointsToSetInternal Abstract base class for implementations of points-to sets. -
Classes in soot.jimple.spark.sets used by soot.jimple.toolkits.thread.synchronization Class Description PointsToSetInternal Abstract base class for implementations of points-to sets.