【静态分析】软件分析课程实验-前置准备课程：南京大学的《软件分析》课程平台：Tai-e（太阿）实验作业平台Tai-e 是一个分析 Java 程序的静态程序分析框架，相比于已有的知名静态程序分析框架（如 Soot、Wala 等），Tai-e 要易学易用很多。Tai-e 提供精炼的 IR，明晰且易拓展的接口，丰富的程序分析算法，直观易懂的框架结构，以及指导性强的文档等。需要注意的是，Tai-e 分为教学版和科研版两个版本，两个版本虽都易学易用，但侧重有所不同。该套实验作业的设计是基于教学版，相比于科研版，教学版更容易方便学生理解作业题目及实验相关