Design And Implementation Of System Dependence Graph For Aspect-Oriented Programs

System Dependence Graph (SDG) is the dependence-based representation of graph and SDG consists of control and data dependence relationships between the program elements in a program. Aspect-Oriented (AO) programs are based on the aspect-oriented style, use the related framework or language tool to achieve the clean modularization of crosscutting concerns. SDG provides the powerful fundamental support to the analysis and comprehension of programs. Although researchers have developed many representations for object-oriented (OO) programs, little work has been carried out on representations that preserve the features of AO programs.Based on the AspectJ programming language, by analyzing the specific aspect-oriented features and extending the existing the representations of SDG for OO programs, this paper defines the AOP SDG and develops the algorithm of SDG construction for AO programs. The paper also discusses the reference implementation details of the ASDGT (AOP SDG Tool) based on Asepctj compiler. The algorithm provided in this paper also can deal with the general concept of AOP, so it can be used in the general type of the AOP implementation. The SDG constructed by the algorithm can be used as the analysis foundation for the reverse engineering, compiler optimization, software measurement and etc. the solution introduced in this paper is presented at the first time for constructing SDG for aspect-oriented programs. ASDGT is the first tool supporting SDG analysis for aspect-oriented programs. It has the good performance in usability and extensibility.