Fuzzy Array Data ow Analysis

Dataaow analyses track the deenitions and uses of variable values, and are useful to optimizing and parallelizing compilers. Such analyses compute, for every (array cell) value read in a right-hand-side expression, the very operation which produced it. These analyses, however, make quite stringent hypotheses on the input programs: the control ow should be known at compile-time (i.e., static), and array subscripts must be aane functions of surrounding counters and possibly of symbolic constants. On the contrary, the analysis presented in this report handles general if's and while loops, and general non-aane array subscripts.