Open vorfreuder opened 2 years ago
https://eterniter.github.io/Static%20Program%20Analysis/A2/
作业 2：常量传播和 Worklist 求解器 南京大学《软件分析》课程 作业出品：谭添、李樾 为 Java 实现常量传播算法。 实现一个通用的 worklist 求解器，并用它来解决一些数据流分析问题，例如本次的常量传播。 一开始写完很快就过了大部分样例，然后就一直过不了。 于是通读了一遍源码，然而并没有什么用 于是查阅了国内外关于常量传播的课程，也没什么用 于是根据testcase文
https://eterniter.github.io/Static%20Program%20Analysis/A2/
作业 2：常量传播和 Worklist 求解器 南京大学《软件分析》课程 作业出品：谭添、李樾 为 Java 实现常量传播算法。 实现一个通用的 worklist 求解器，并用它来解决一些数据流分析问题，例如本次的常量传播。 一开始写完很快就过了大部分样例，然后就一直过不了。 于是通读了一遍源码，然而并没有什么用 于是查阅了国内外关于常量传播的课程，也没什么用 于是根据testcase文