Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
merge(IntSet x, int j)
-
-
-
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 pointj
- 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.
-
-