DianQK / Tai-e-assignments-tips

Tai-e assignments for static program analysis

Home Page:https://tai-e.pascal-lab.net/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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 中。

About

Tai-e assignments for static program analysis

https://tai-e.pascal-lab.net/

License:GNU Lesser General Public License v3.0


Languages

Language:Java 99.4%Language:Kotlin 0.6%