整套实验来自于南京大学软件分析（其实静态分析更准确些）课程的配套实验，十分感谢两位老师花费的大力气开发出这么一套讲解和实现都十分完备的课程！
updata：
4/25 yantian liyue 两位老师公开太阿之后，将本仓库设为puliic：
南京大学《软件分析》实验作业平台“太阿”发布通知 - 知乎 (zhihu.com)
WU_FILE压缩包为每次lab的框架代码。
每个lab都有对应的手册和讲解，使用IDEA打开tai-e目录即可。
tai-e目录下是我的实现，仅供参考。
PS：因为我在做这套实验的时候OJ没有公开，加之其他课程的压力，没有做足够的测试样例，所以提交的实现可能会有bug，需要根据grade提供的样例进行修复。
update：
网站上可以获得南京大学软件分析课程所有资料，包括完成本实验需要的资料。
【课程笔记】南大软件分析课程—16课时完整版 - 知乎 (zhihu.com)
前八课时B站上有录播，搜素甜品专家即可。
知乎上老师也做了宣传，应该很容易搜素到相关信息。