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