Generic sensitivity: customizing context-sensitive pointer analysis for generics
Abstract
Generic programming has been extensively used in object-oriented programs such as Java. However, existing context-sensitive pointer analyses perform poorly in analyzing generics. 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 updated during the analysis in a context-sensitive manner.
BibTeX
@inproceedings{Li-al:FSE22,
author = {Haofeng Li and
Jie Lu and
Haining Meng and
Liqing Cao and
Yongheng Huang and
Lian Li and
Lin Gao},
title = {Generic sensitivity: customizing context-sensitive pointer analysis for generics},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {1110--1121},
publisher = {{ACM}},
year = {2022},
}