Data-flow and Control-flow Analysis of AspectJ Software for Program Slicing

@inproceedings{Xu2007DataflowAC,
  title={Data-flow and Control-flow Analysis of AspectJ Software for Program Slicing},
  author={Guoqing Xu},
  year={2007}
}
We propose an approach for program slicing of AspectJ software, based on a novel data-flow and control-flow program representation. The representation is built at the source-code level and, unlike previous work, captures the semantic intricacies of various pointcut designators, multiple advices per joint point, dynamic advices, exceptions, and general flow of data to, from, and between advices. We also present algorithms for dependence analysis, system dependence graph construction, and slicing… CONTINUE READING