Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation

@article{Sagiv1996PreciseID,
title={Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation},
author={Shmuel Sagiv and Thomas W. Reps and Susan Horwitz},
journal={Theor. Comput. Sci.},
year={1996},
volume={167},
pages={131-170}
}

This paper concerns inter-procedural dataflow-analysis problems in which the dataflow information at a program point is represented by an environment (i.e., a mapping from symbols to values), and the effect of a program operation is represented by a distributive environment transformer. We present two efficient algorithms that produce precise solutions: an exhaustive algorithm that finds values for all symbols at all program points, and a demand algorithm that finds the value for an individual… CONTINUE READING