data-flow analysis
Sign in to savetechnique 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