软件分析笔记6：上下文敏感指针分析
摘要：
对于指针分析尤其是Java指针分析来说，上下文敏感是最有效的提升精度的方法，上下文敏感的指针分析是指针分析领域最近几年研究的热点，上下文敏感不是指针分析独有的技术，理论上所有跨函数间的分析都会涉及到上下文敏感。我们当前先研究上下文敏感的指针分析。 1.上下文不敏感指针分析的缺陷 我们用一个例子来说明 阅读全文
posted @ 2020-05-15 16:54 crossain 阅读(1413) 评论(1) 推荐(0) 编辑