中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis

文献类型：期刊论文

作者Li, Haofeng7; Tan, Tian1; Li, Yue1; Lu, Jie7; Meng, Haining2,7; Cao, Liqing2,7; Huang, Yongheng2,7; Li, Lian2,3,7; Gao, Lin4; Di, Peng5
刊名IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
出版日期2024-05-01
卷号50期号:5页码:1144-1162
关键词Sensitivity Receivers Java Resource management Codes Software Benchmark testing Pointer analysis generic programming context sensitivity
ISSN号0098-5589
DOI10.1109/TSE.2024.3377645
英文摘要Generic programming has found widespread application in object-oriented languages like Java. However, existing context-sensitive pointer analyses fail to leverage the benefits of generic programming. This paper introduces generic sensitivity, a new context customization scheme targeting generics. We design our context customization scheme in such a way that generic instantiation sites, i.e., locations instantiating generic classes/methods with concrete types, are always preserved as key context elements. This is realized by augmenting contexts with a type variable lookup map, which is efficiently generated in a context-sensitive manner throughout the analysis process. We have implemented various variants of generic-sensitive analysis in WALA and conducted extensive experiments to compare it with state-of-the-art approaches, including both traditional and selective context-sensitivity methods. The evaluation results demonstrate that generic sensitivity effectively enhances existing context-sensitivity approaches, striking a new balance between efficiency and precision. For instance, it enables a 1-object-sensitive analysis to achieve overall better precision compared to a 2-object-sensitive analysis, with an average speedup of 12.6 times (up to 62 times).
资助项目National Key R#x0026;D Program of China
WOS研究方向Computer Science ; Engineering
语种英语
WOS记录号WOS:001224187300009
出版者IEEE COMPUTER SOC
源URL[http://119.78.100.204/handle/2XEOYT63/38956]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Li, Haofeng; Li, Lian
作者单位1.Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China
2.Univ Chinese Acad Sci, Beijing 101408, Peoples R China
3.Zhongguancun Lab, Beijing, Peoples R China
4.TianqiSoft Inc, Beijing 100142, Peoples R China
5.Ant Grp, Hangzhou 310013, Peoples R China
6.Alibaba Grp, Beijing 100012, Peoples R China
7.Chinese Acad Sci, Inst Comp Technol, SKLP, Beijing 100049, Peoples R China
推荐引用方式
GB/T 7714		 Li, Haofeng,Tan, Tian,Li, Yue,et al. Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,2024,50(5):1144-1162.
APA Li, Haofeng.,Tan, Tian.,Li, Yue.,Lu, Jie.,Meng, Haining.,...&Cui, Chenxi.(2024).Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,50(5),1144-1162.
MLA Li, Haofeng,et al."Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis".IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50.5(2024):1144-1162.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。