Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis

doi:10.1109/TSE.2024.3377645

	Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
	Li, Haofeng 1; Tan, Tian 2; Li, Yue 2; Lu, Jie 1; Meng, Haining 1,3; Cao, Liqing 1,3; Huang, Yongheng 1,3; Li, Lian 1,3,4; Gao, Lin 5; Di, Peng 6; Lin, Liang 7; Cui, Chenxi 7
	2024-05-01
发表期刊	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN	0098-5589
卷号	50 期号:5 页码:1144-1162
摘要	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).
关键词	Sensitivity Receivers Java Resource management Codes Software Benchmark testing Pointer analysis generic programming context sensitivity
DOI	10.1109/TSE.2024.3377645
收录类别	SCI
语种	英语
资助项目	National Key R#x0026;D Program of China
WOS研究方向	Computer Science ; Engineering
WOS类目	Computer Science, Software Engineering ; Engineering, Electrical & Electronic
WOS记录号	WOS:001224187300009
出版者	IEEE COMPUTER SOC
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/38957
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Li, Haofeng; Li, Lian
作者单位	1.Chinese Acad Sci, Inst Comp Technol, SKLP, Beijing 100049, Peoples R China 2.Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China 3.Univ Chinese Acad Sci, Beijing 101408, Peoples R China 4.Zhongguancun Lab, Beijing, Peoples R China 5.TianqiSoft Inc, Beijing 100142, Peoples R China 6.Ant Grp, Hangzhou 310013, Peoples R China 7.Alibaba Grp, Beijing 100012, 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.