Java指针分析综述  

Survey on Java Pointer Analysis

作　　者：谭添 马晓星[1,2] 许畅[1,2] 马春燕[3] 李樾 Tan Tian;Ma Xiaoxing;Xu Chang;Ma Chunyan;Li Yue(Department of Computer Science and Technology,Nanjing University,Nanjing 210023;National Key Laboratory for Novel Software Technology(Nanjing University),Nanjing 210023;School of Software,Northwestern Polytechnical University,Xi’an 710129)

机构地区：[1]南京大学计算机科学与技术系,南京210023 [2]计算机软件新技术国家重点实验室(南京大学),南京210023 [3]西北工业大学软件学院,西安710129

出　　处：《计算机研究与发展》2023年第2期274-293,共20页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(61932021,62025202,62002157);航空科学基金项目(20185853038,201907053004)。

摘　　要：近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.介绍了Java指针分析的重要内容:指针分析算法、上下文敏感、堆对象抽象、复杂语言特性处理、非全程序指针分析,特别是对近年来指针分析的研究热点选择性上下文敏感技术进行了梳理和讨论.In recent years, static program analysis has become one of the key techniques to ensure the reliability,security and efficiency of software. As a fundamental program analysis technique, pointer analysis provides a series of fundamental information about the program for static program analysis, such as the points-to relations of any variables in the program, alias relations between variables, program call graph, and the reachability of heap objects. We introduce the important contents of Java pointer analysis, including pointer analysis algorithm, context sensitivity,abstraction of heap objects, handling of complex language features, non-whole program pointer analysis, especially we sort-out and discuss selective context sensitivity, which is the research hotspot of pointer analysis in recent years.

关 键 词：指针分析 别名分析 JAVA 静态分析 上下文敏感 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]