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