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 the objectporiented language provide the program designing and the software engineering with new methods. But at the same time, they bring about more barriers in the dependence analysis for object-oriented language. This paper proposes an objectporiented data dependence analysis model - ODAM. The model can present and analyze the specific concepts in OO langrages. We mainly discussed the framework and the key techniques of ODAM, including the object hierarchy graph, the merge of the readpwrite set and the dependence analysis based on the object hierarchy graph.