Aspect-aware points-to analysis

Qiang Sun, Jianjun Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Points-to analysis is a fundamental analysis technique. whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithms have been proposed for procedural and objectoriented languages like C and Java, there is no pointsto analysis for aspect-oriented languages so far. Based on Andersen-style points-to analysis for Java, we propose flowand context-insensitive points-to analysis for AspectJ. The main idea is to perform the analysis crossing the boundary between aspects and classes. Therefore, our technique is able to handle the unique aspectual features. To investigate the effectiveness of our technique, we implement our analysis approach on top of the ajc AspectJ compiler and evaluate it on nine AspectJ benchmarks. The experimental result indicates that, compared to existing Java approaches, the proposed technique can achieve a significant higher precision and run in practical time and space.

Original languageEnglish
Title of host publicationProceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Pages143-152
Number of pages10
DOIs
Publication statusPublished - Nov 24 2008
Externally publishedYes
Event8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008 - Beijing, China
Duration: Sep 28 2008Sep 29 2008

Publication series

NameProceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008

Other

Other8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Country/TerritoryChina
CityBeijing
Period9/28/089/29/08

All Science Journal Classification (ASJC) codes

  • Computational Theory and Mathematics
  • Software

Fingerprint

Dive into the research topics of 'Aspect-aware points-to analysis'. Together they form a unique fingerprint.

Cite this