A4: CHA and Interprocedural Constant Propagation | H E S I T A T E R

[vorfreuder]

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

作业 4：类层次结构分析与过程间常量传播 南京大学《软件分析》课程 作业出品：谭添、李樾 为 Java 实现一个类层次结构分析（Class Hierarchy Analysis，CHA）。 实现过程间常量传播。 实现过程间数据流传播的 worklist 求解器。 跟着PPT实现即可 只是注意提示，确实是真的不要修改第二个参数，尤其是transferCallToReturnEdge get