南大软分实验笔记｜A6 上下文敏感的指针分析
💡
原文中文，约17600字，阅读约需42分钟。
📝
内容提要
本文介绍了南大软件分析课程的第六个实验，讨论了上下文敏感的过程间指针分析。实验包含两部分，实现了上下文敏感指针分析的主要逻辑，并实现了三种不同的上下文敏感策略。文章还提供了新增的分析规则和实现代码，并总结了实验的思考和总结。
🎯
关键要点
- 本文介绍了南大软件分析课程的第六个实验，重点是上下文敏感的过程间指针分析。
- 实验分为两部分：实现上下文敏感指针分析的主要逻辑和三种不同的上下文敏感策略。
- 新增的分析规则包括对静态字段、数组索引和静态方法调用的支持。
- 实现上下文敏感指针分析时，需要为每个可达方法创建独立的StmtProcessor实例。
- 实现过程中，涉及到的核心逻辑包括语句处理、指针流图的添加和分析。
- 实现了常见的上下文敏感策略，包括call-site sensitivity、object sensitivity和type sensitivity。
- 总结部分强调实践的重要性，指出理论学习与实际操作之间的差距。
➡️
