静态程序分析 约 95 个字 预计阅读时间不到 1 分钟 课程信息 学校：南京大学 教师：李樾，谭添 课程内容 中间语言 数据流分析 过程间分析 指针分析 安全性静态分析 基于数据日志的程序分析 CFL-Reachability 和 IFDS 可靠性和近似可靠性 致谢 本部分的编写参考了以下内容： Tai-e - 课程主页