Package qilin.core.sets

package qilin.core.sets
Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient replacements in the future.
  • Class
    Description
    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.
    HybridPointsToSet
    Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.
    P2SetVisitor
    Abstract base class for points-to set visitors used to enumerate points-to sets.
    PointsToSet
    A generic interface to some set of runtime objects computed by a pointer analysis.
    PointsToSetInternal
    Abstract base class for implementations of points-to sets.
    UnmodifiablePointsToSet