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
