/Tai-e-assignments-tips

Tai-e assignments for static program analysis

Primary LanguageJavaGNU Lesser General Public License v3.0LGPL-3.0

Tai-e Assignments for Static Program Analysis

Getting Started

If you want to do the assignments, please start with "Overview of Tai-e Assignments" [中文][English].

Tips

每一个作业都可以有帮助的方案:

多调试,尝试看看各种实例在运行时到底是个啥,对好奇的类要点进去看看都有啥方法。

由于项目使用了接口/抽象类/继承等多态的能力,代码上看到的类可能还需要/只需要处理对应的子类,可以直接使用 getClass() 查看并转换成子类使用。

为了项目的复用,Solver/Data Flow Framework 使用了大量接口抽象,不应对这些抽象进行子类转换。比如在 Solver 中,不应当将 DataflowAnalysisNodeFact 等转换成具体的类型使用。

作业相关在各自的 README.md 中。