9.2.1 Data Flow Equations

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