Module dev.civl.abc
Package dev.civl.abc.analysis.pointsTo.IF

Interface FlowInsensePointsToAnalyzer

public interface FlowInsensePointsToAnalyzer
A flow-insensitive PointsToAnalyzer takes a program (AST), builds points-to graph for the program and provides service for querying the "may points-to" set of a lvalue

  • Method Details

    • mayPointsTo

      List<AssignExprIF> mayPointsTo(Function func, Entity[] designations)
      Returns the points-to set of the given program object represented by a list of designations
      Parameters:
      func - the function where the entity appears
      designations - a list entities: {var, field0, field1, ...}
      Returns:
      the points-to set of the given variable entity

    • mayPointsTo

      List<AssignExprIF> mayPointsTo(Function func, AssignExprIF ptr)
      Returns the points-to set of the given AssignExprIF, which is an abstraction of an object.
      Parameters:
      func - the function where the pointer expression appears
      ptr - an expression abstraction
      Returns:
      the points-to set of the given AssignExprIF

    • analyzedProgram

      AST analyzedProgram()
      Returns:
      the analyzed program associated with this analyzer

    • insensitiveFlowFactory

      InsensitiveFlowFactory insensitiveFlowFactory()
      Returns:
      a reference to the InsensitiveFlowFactory used by this analyzer

    • insensitiveFlow

      InsensitiveFlow insensitiveFlow(Function func)
      Returns:
      a reference to the InsensitiveFlow representing the body of the given function that was analyzed by this instance.