com.ibm.wala.dataflow.IFDS

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 Summary

Methods

Modifier and Type	Method and Description
int	merge(com.ibm.wala.util.intset.IntSet x, int j)

Method Detail

merge

int merge(com.ibm.wala.util.intset.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.