2 tbxhebe tbxhebe 于 2017.09.18 22:08 提问

在FlowDroid的源码中,具体哪一个类对Sinks进行的比较?以及分析完成条件 300C

最近在看FlowDroid的源码,但是水平有限,程序中有对sinks的读入,但是始终找不到在静态污点分析过程中在哪个类的哪个方法中进行sink与当前stmt的比较。另外,Infoflow的分析时,对一个污点追踪过程里的结束条件是什么,在哪里判断的?
我想在FlowDroid的静态污点分析的基础上修改,目标是实现有source但是没有sink,也就是说给出一个source函数后,得到这个source污染的所有路径,无论这个路径上有没有sink

2个回答

qq_26433213
qq_26433213   2017.09.26 15:14
tbxhebe
tbxhebe 看过了这个之后我才问的问题,这个帖子并没有解决我所问的问题,他只描述了大概的流程,而具体比较并没有解释
大约 2 个月之前 回复
tbxhebe
tbxhebe   2017.10.18 09:45

自己解决了,在分析Android时,是在soot-infoflow-android/../source/AccessPathBasedSourceManager.java下重写了isSink()方法实现的

Csdn user default icon
上传中...
上传图片
插入图片