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]. 这是我在NJU<软件分析>课程中的代码.实现了java语言的部分静态分析.