This repo is forked from Tai-e-assignments, containing my solution to assignments of the Static Program Analysis course by 谭添(Tian Tan) and 李樾(Yue Li), I referred to the lecture videos from 2020(in Chinese) and the lecture materials as I worked on the assignments.
If you want to do the assignments, please start with "Overview of Tai-e Assignments" [中文][English].