Summary
A program statement affects other statements when it defines variables the other statements use
Control flow graphs can be augmented with def and use information to support data flow analysis
Data flow analysis, in turn, can support software development tasks such as determining the ripple effects of a particular program modification