程序分析筆記整理：Pointer Analysis(指針分析): Context Sensitivity(上下文敏感)

上下文敏感是Java語言提升指針分析精度的最有效方法！ 主要分爲四部分： 1.爲什麼需要？對比不敏感區別？ 2.怎麼做？ 3.算法； 4.框架算法-2的變種均可實現；   Motivating Example   可以在上圖中看出，如果考慮上下文的話，此時x.get()返回的應該是1和2，而不應該是NAC(Not A Constant)，就如下圖所示。   Context Sensitivity

>>阅读原文<<