本文介绍了南大软件分析课程第八个实验中的污点分析方法,通过添加污点传播规则和处理source和sink实现。作者解决了污点传播问题,并通过修改代码通过了所有测试用例。文章还介绍了如何使用StringAppend.java进行测试,并提供了正确的TaintFlow结果。作者总结了不放弃的经验,并表示污点分析很有意思。
本文介绍了南大软件分析课程的第六个实验,讨论了上下文敏感的过程间指针分析。实验包含两部分,实现了上下文敏感指针分析的主要逻辑,并实现了三种不同的上下文敏感策略。文章还提供了新增的分析规则和实现代码,并总结了实验的思考和总结。
完成下面两步后,将自动完成登录并继续当前操作。