0x01 背景
与GadgetInspector 类似,Tabby 也是通过污点分析来实现的Gadget Chain挖掘。不同的是
- Tabby 用soot 来做的静态污点分析,GadgetInspector 是用的ASM 模拟来做的污点跟踪
- 用了Neo4j来做CPG 的查询与展示,要灵活很多
- 优化了污点传播关系
据说Tabby 一开始是wh1t3p1g师傅的毕设,不过当时没放出tabby-path-finder,因此一直没太关注Tabby 污点分析这块,都是用手动白名单来做过滤的。KCon上师傅的PPT,收获很多,学习总结下。这里主要关注
- Tabby 污点传播规则
- Tabby soot 污点分析的实现
- Tabby Neo4j 搜索实现
注:本文需要对soot 有一定了解,参考fynch3r 师傅的参考【3】。
0x02 Soot 数据流分析
四步走:
more >>