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.