Program dependence analysis

The authors first discuss three methods of identifying objects. The first two were suggested by S.S. Liu and N. Wilde; the third method is one that is proposed in the present work and is based on the determination of the receiver of a procedure. The authors believe that the latter method is more natural and precise than the former two. Algorithms that perform precise interprocedural flow-sensitive dependency analysis, as well as algorithms that identify objects, are introduced. The internal program representation used here, the parse-tree-based system dependence graph (SDG), is briefly discussed. A tool developed by the authors that accepts a subset of ANSI C (or Pascal) as input and implements all algorithms discussed in the present work is presented.<
>