tbxhebe
tbxhebe
2017-09-18 14:08

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

300
  • flowdroid
  • android
  • 源码

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

  • 点赞
  • 回答
  • 收藏
  • 复制链接分享

3条回答