Interface PointerAnalysis<T extends InstanceKey>

    • Method Detail

      • getPointsToSet

        OrdinalSet<T> getPointsToSet​(PointerKey key)
        Parameters:
        key - representative of an equivalence class of pointers
        Returns:
        Set of InstanceKey, representing the instance abstractions that define the points-to set computed for the pointer key
      • getHeapModel

        HeapModel getHeapModel()
        Returns:
        an Object that determines how to model abstract locations in the heap.
      • getHeapGraph

        HeapGraph<T> getHeapGraph()
        Returns:
        a graph view of the pointer analysis solution
      • getInstanceKeyMapping

        OrdinalSetMapping<T> getInstanceKeyMapping()
        Returns:
        the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.
      • getInstanceKeys

        Collection<T> getInstanceKeys()
        Returns:
        all instance keys known
      • isFiltered

        boolean isFiltered​(PointerKey pk)
        did the pointer analysis use a type filter for a given points-to set? (this is ugly).