GeezerVison is showing github.com — ByteCodeDL/docs at main · CodingLi/ByteCodeDL

Expand file tree

docs

Copy path

Copy path

Name		Name	Last commit message	Last commit date
parent directory ..
images		images
callgraph.md		callgraph.md
cha-in-ctf.md		cha-in-ctf.md
cha-optimization.md		cha-optimization.md
context-insensitive-points-to.md		context-insensitive-points-to.md
ptaint.md		ptaint.md
query.md		query.md
readme.md		readme.md
relation.md		relation.md
souffle.md		souffle.md
utils.md		utils.md

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

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