Dependence analysis for recursive java programs

Abstract

Dependence analysis is an important approach to analyzing, understanding, testing and maintaining programs. This paper develops a new kind of dependence analysis method for recursive Java programs. In our method, the program dependence graph (PDG) of a Java program consists of a set of PDGs that are not connected. They interact with each other by dependences among parameters. Thus, he inter-function dependence analysis is transformed to intra-function dependence analysis. Based on this model, we develop a new approach to analyze dependences of a direct or indirect recursive Java program by simulating its execution.