데이터 흐름 분석
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