AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software

Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software. We propose a control- and data-flow program representation for AspectJ programs, as basis for subsequent interprocedural dataflow analyses. The representation is built at the source code level and captures the semantic intricacies of various pointcut designators, multiple applicable advices per joint point, dynamic advices, and general flow of data to, from, and between advices. We also propose two dataflow analyses for AspectJ software: (1) a novel object effect analysis based on a flow- and context-sensitive must-alias analysis, and (2) a dependence analysis used for constructing the system dependence graph for slicing, refactoring, change impact analysis, etc. Both analyses are representative of a general category of dataflow analyses referred to as interprocedural distributed environment (IDE) problems. ...

• Type: Conference
• Year: 2008
• Where: AOSD
• Authors: Guoqing Xu, Atanas Rountev
• Keywords: AOSD 2008, AspectJ, AspectJ Software, Dataflow Analyses, Software Engineering