A6: Context-Sensitive Pointer Analysis | H E S I T A T E R

[vorfreuder]

https://eterniter.github.io/Static%20Program%20Analysis/A6/

作业 6：上下文敏感的指针分析 南京大学《软件分析》课程 作业出品：谭添、李樾 为 Java 实现一个上下文敏感的指针分析框架。 作为指针分析的一部分，随着指针分析一起实现调用图（call graph）构建。 实现几种常见的上下文敏感策略（context sensitivity variants）。 算法主体在上一次的基础上增加了上下文敏感，跟着PPT实现即可 只是上下文敏感策略实现时要