Data flow analysis studies:
possible communications bottlenecks in a program.
the rate of change of data values as a program executes.
the use of data on paths through the code.
the intrinsic complexity of the code.