Interface IMergeFunction


  • public interface IMergeFunction
    Special case: if supportsMerge(), then the problem is not really IFDS anymore. (TODO: rename it?). Instead, we perform a merge operation before propagating at every program point. This way, we can implement standard interprocedural dataflow and ESP-style property simulation, and various other things.
    • Method Detail

      • merge

        int merge​(IntSet x,
                  int j)
        Parameters:
        x - set of factoid numbers that previously have been established to hold at a program point
        j - a new factoid number which has been discovered to hold at a program point
        Returns:
        the factoid number z which should actually be propagated, based on a merge of the new fact j into the old state represented by x. return -1 if no fact should be propagated.