本文介绍了南大软件分析课程的第六个实验，讨论了上下文敏感的过程间指针分析。实验包含两部分，实现了上下文敏感指针分析的主要逻辑，并实现了三种不同的上下文敏感策略。文章还提供了新增的分析规则和实现代码，并总结了实验的思考和总结。