检索结果-南通市图书馆

A constraint-weaving approach to points-to analysis for aspectj

Frontiers of Computer Science 2014年第1期8卷 52-68页

作者： Qiang SUN Yuting CHEN Jianjun ZHAO Department of Computer Science and Engineering and School of Software Shanghai Jiao Tong University Shanghai 200240 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

Points-to analysis is a static code analysis tech- nique that establishes the relationships between variables of references and allocated objects. A number of points-to analysis algorithms have been proposed for procedural and object-oriented languages like C and Java, while few of them can be used for aspectj as we know so far. One main rea- son is that Aspect/is an aspect-oriented language which im- plements the separation of crosscutting concerns by advices, pointcuts, and inter-type declarations, while a points-to anal- ysis of aspectj programs may be imprecise because any as- pect woven into the base code may change the points-to rela- tions in the program and thus a conservative analysis has to be taken in order to handle the aspects. In this paper, we pro- pose a context-sensitive points-to analysis technique called AJPoints for aspectj. Similar to the weaving mechanism for aspectj, AJPoints obtains the constraints and templates on the points-to relations for the base code and the aspects, re- spectively, but weaves and solves them in an iterative manner in order to cross the boundary between the base code and the aspects. We have implemented AJPoints on abc aspectj compiler and evaluated it by using twelve aspectj benchmark programs. The experimental can achieve a high precision pectJ programs. results show that our technique about points-to relations in As-

关键词： points-to analysis context-sensitive analysis,aspectj

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：