程序分析笔记整理：Pointer Analysis(指针分析): Context Sensitivity(上下文敏感)

上下文敏感是Java语言提升指针分析精度的最有效方法！ 主要分为四部分： 1.为什么需要？对比不敏感区别？ 2.怎么做？ 3.算法； 4.框架算法-2的变种均可实现；   Motivating Example   可以在上图中看出，如果考虑上下文的话，此时x.get()返回的应该是1和2，而不应该是NAC(Not A Constant)，就如下图所示。   Context Sensitivity

>>阅读原文<<