ByteCodeDL 基本需要两部分知识,一部分是程序分析另外一部分是datalog编程。对于程序分析部分的知识,强烈推荐去学习南大的程序分析课程,视频链接 课程主页,datalog编程可以通过souffle的文档学习。 当然后面的教程和使用案例我也会穿插讲解这两部分知识。 建议阅读顺序 souffle.md relation.md utils.md query.md callgraph.md cha-optimization.md cha-in-ctf.md context-insensitive-points-to.md ptaint