Data Flow and Program Understanding
To understand a statement in a program, all of the circumstances under which the statement may be executed must be appreciated
Control flow analysis describes which execution paths effect the statement’s execution
Data flow analysis describes the execution states that may obtain at those moments