最近在看FlowDroid的源码,但是水平有限,程序中有对sinks的读入,但是始终找不到在静态污点分析过程中在哪个类的哪个方法中进行sink与当前stmt的比较。另外,Infoflow的分析时,对一个污点追踪过程里的结束条件是什么,在哪里判断的? 我想在FlowDroid的静态污点分析的基础上修改,目标是实现有source但是没有sink,也就是说给出一个source函数后,得到这个source污染的所有路径,无论这个路径上有没有sink
收起
当前问题酬金
¥ 0 (可追加 ¥500)
支付方式
扫码支付
支付金额 15 元
提供问题酬金的用户不参与问题酬金结算和分配
支付即为同意 《付费问题酬金结算规则》
Android污点分析工具flowdroid源码简析
报告相同问题?