基本需要两部分知识，一部分是程序分析另外一部分是datalog编程。对于程序分析部分的知识，强烈推荐去学习南大的程序分析课程，视频链接 课程主页，datalog编程可以通过souffle的文档学习。

当然后面的教程和使用案例我也会穿插讲解这两部分知识。 建议阅读顺序

1. souffle.md
2. relation.md
3. utils.md
4. query.md
5. callgraph.md