面向对象程序的上下文敏感指针分析研究

指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用, Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.

Context-sensitive Pointer Analysis for Object-oriented Programs: A Systematic Literature Review

Pointer analysis is the basis of compiler optimization and static analysis. And a lot of applications are based on pointer analysis. Low-precision pointer analysis will bring high false positive rate and false negative rate to these applications. Adding context sensitive information is an important means to improve accuracy. Since the concept of object-oriented was put forward, it has been widely used. Some mainstream languages such as JAVA, C++,.NET, C# support object-oriented features. So, pointer analysis for object-oriented language is getting more and more attention. This paper investigates context-sensitive pointer analysis for object-oriented language by using systematic literature review(SLR) method. After analyzing and categorizing the relevant literatures, we summarized 5 questions about context-sensitive pointer analysis for object-oriented language.