9.1 Data Flow Analysis Methods

We can gather relevant information for data flow analysis in a way similar to the way gossip is propagated: locally available information is initially posted and then propagated over the possible paths in the control graph.

Most data flow problems can be defined by equations. Iterative techniques are used to solve these equations. Example 2 shows a typical problem.

EXAMPLE 2 Typical data flow problem