Data-flow analysis

technique for gathering information about the possible set of values calculated at various points in a computer program

optimization method in software compilers

data structure that tracks variable use and definitions