Data Flow Equations

Transfer Equation for Reaching Definitions

The Iterative Method for Solving Data Flow Equations

Data Structures for Reaching Definitions

Application of Reaching Definitions

For data flow analysis problems, we create and solve a collection of data flow equations. The variables are

In (B) and Out (B)

for a given block B.

There are two classes of equations:

1. A transfer equation to transfer data within the blocks

2. A confluence rule to transfer data when paths come together