Package pascal.taie.analysis.pta.core.solver

Interface Transfer

All Known Implementing Classes:
Identity, TypeFilter
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface Transfer
Transfer function on pointer flow edges. For a given pointer flow edge "source" -> "target", the function defines how the points-to facts of "source" node are propagated to the "target" node.

  • Method Details

    • apply

      PointsToSet apply(PointerFlowEdge edge, PointsToSet input)
      Transfer function on a pointer flow edge.
      Parameters:
      edge - the pointer flow edge being transferred.
      input - set of objects pointed to by the "source" node.
      Returns:
      set of objects that are propagated to the "target" node.