2 tbxhebe tbxhebe 于 2017.09.18 22:08 提问

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

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

3个回答

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

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

qq_33727380
qq_33727380   2017.12.28 11:21

想要看到完整的source sink的传播路径也是这样?

Csdn user default icon
上传中...
上传图片
插入图片
准确详细的回答,更有利于被提问者采纳,从而获得C币。复制、灌水、广告等回答会被删除,是时候展现真正的技术了!