Package pascal.taie.analysis.pta.toolkit

Interface PointerAnalysisResultEx

All Known Implementing Classes:
PointerAnalysisResultExImpl
public interface PointerAnalysisResultEx
Extended version PointerAnalysisResult.

Unlike PointerAnalysisResult which only provides results directly computed from pointer analysis, this class provides more commonly-used results that are indirectly derived from original pointer analysis result.

  • Method Details

    • getBase

      PointerAnalysisResult getBase()
      Returns:
      the base pointer analysis result.

    • getMethodsInvokedOn

      Set<JMethod> getMethodsInvokedOn(Obj obj)
      Returns:
      the methods whose receiver objects contain obj.

    • getReceiverObjectsOf

      Set<Obj> getReceiverObjectsOf(JMethod method)
      Returns:
      the receiver objects of given method.

    • getObjectsAllocatedIn

      Set<Obj> getObjectsAllocatedIn(JMethod method)
      Returns:
      the objects that are allocated in given method.

    • getObjectsOf

      Set<Obj> getObjectsOf(Type type)
      Returns:
      the objects of given type.

    • getObjectTypes

      Set<Type> getObjectTypes()
      Returns:
      types of all reachable objects in pointer analysis.