Data dependence analysis in presence of inheritance and polymorphism

The data dependence analysis is a hard problem, particularly in the presence of data structures similar to the pointer. The inheritance and the polymorphism in object-oriented languages provide program design and software engineering with new methods. But, at the same time, they bring about more barriers to dependence analysis for object-oriented languages. This paper proposes an object-oriented data dependence analysis model, ODAM. The model can present and analyze the specific concepts in OO languages. We mainly discuss the framework and the key techniques of ODAM, including the object hierarchy graph, the merging of the read-write set and dependence analysis based on the object hierarchy graph.