南大软分实验笔记｜A5 非上下文敏感指针分析
原文中文，约8800字，阅读约需21分钟。
📝
内容提要
这篇文章是南大软件分析课程的第五个作业，要求完成非上下文敏感的过程间指针分析。文章介绍了实验内容和算法实现的核心逻辑。同时提供了新增的分析规则和测试用例。作者总结称这门课程质量很高，之前的笔记和实验记录帮助他快速恢复函数执行现场，节省了不少时间。
❓
Q&A
南大软件分析课程的第五个作业主要内容是什么？
主要内容是完成非上下文敏感的过程间指针分析。
实验中新增了哪些分析规则？
新增的分析规则包括对静态字段、数组索引和静态方法调用的处理。
AddReachable函数的作用是什么？
AddReachable函数用于遍历方法的所有语句，更新可达性。
文章中提到的访问者模式是如何应用的？
访问者模式被用于设计部分功能，以便于处理不同类型的语句。
作者对课程的总体评价是什么？
作者认为课程质量很高，之前的笔记和实验记录帮助他快速恢复学习进度。
实验中使用的主要算法是什么？
实验中使用的主要算法是过程间指针分析算法，包含多个函数如analyze和propagate。
