南大软分实验笔记｜A5 非上下文敏感指针分析
💡
原文中文，约8800字，阅读约需21分钟。
📝
内容提要
这篇文章是南大软件分析课程的第五个作业，要求完成非上下文敏感的过程间指针分析。文章介绍了实验内容和算法实现的核心逻辑。同时提供了新增的分析规则和测试用例。作者总结称这门课程质量很高，之前的笔记和实验记录帮助他快速恢复函数执行现场，节省了不少时间。
🎯
关键要点
- 这是南大软件分析课程的第五个作业，要求完成非上下文敏感的过程间指针分析。
- 实验内容涉及静态字段、数组索引和静态方法调用的支持，采用访问者模式设计部分功能。
- 新增的分析规则包括对静态字段、数组索引和静态方法调用的处理。
- 实验中实现了AddReachable函数，遍历方法的所有语句。
- 核心逻辑实现代码位于StmtProcessor类中，处理不同类型的语句。
- 分析算法的主要部分是analyze函数，通过while循环处理工作列表。
- propagate函数用于计算差集，并更新指针流图。
- processCall函数实现了对方法调用的处理，更新可达性。
- 提供了一个本地测试用例，展示了程序分析的结果。
- 作者总结课程质量高，之前的笔记和实验记录帮助他快速恢复学习进度。
❓
延伸问答
南大软件分析课程的第五个作业主要内容是什么？
主要内容是完成非上下文敏感的过程间指针分析。
实验中新增了哪些分析规则？
新增的分析规则包括对静态字段、数组索引和静态方法调用的处理。
AddReachable函数的作用是什么？
AddReachable函数用于遍历方法的所有语句，更新可达性。
文章中提到的访问者模式是如何应用的？
访问者模式被用于设计部分功能，以便于处理不同类型的语句。
作者对课程的总体评价是什么？
作者认为课程质量很高，之前的笔记和实验记录帮助他快速恢复学习进度。
实验中使用的主要算法是什么？
实验中使用的主要算法是过程间指针分析算法，包含多个函数如analyze和propagate。
➡️
