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