Abstract
Tai-e是一个程序分析框架 By谭添老师。共有8个实验，包括：
- 编译优化-(活跃变量分析，常量传播分析，死代码检测)
- 基础程序分析-(程序调用图构建，非上下文敏感指针分析，各类经典上下文敏感指针分析)
- 程序分析在软件安全性领域的应用-(污点分析)
这里复盘实验中遇到的各种坑，包括对分析算法实现细节上的理解，甚至Java语言本身的特性。
NJU静态程序分析(6-Tai-e实验复盘)
文章作者:HaotianMichael
发布时间:2021年06月07日 - 23:06
最后更新:2023年04月11日 - 11:04
原始链接:http://haotianmcihael.github.io/2021/06/08/NJU静态程序分析-6-Tai-e实验复盘/
许可协议: 署名-非商业性使用-禁止演绎 4.0 国际 转载请保留原文链接及作者。