tbxhebe 2017-09-18 14:08 采纳率: 0%
浏览 1224
已结题

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

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

  • 写回答

3条回答

  • 花下泥 2017-09-26 07:14
    关注
    评论

报告相同问题?

悬赏问题

  • ¥15 seatunnel-web使用SQL组件时候后台报错,无法找到表格
  • ¥15 fpga自动售货机数码管(相关搜索:数字时钟)
  • ¥15 用前端向数据库插入数据,通过debug发现数据能走到后端,但是放行之后就会提示错误
  • ¥30 3天&7天&&15天&销量如何统计同一行
  • ¥30 帮我写一段可以读取LD2450数据并计算距离的Arduino代码
  • ¥15 飞机曲面部件如机翼,壁板等具体的孔位模型
  • ¥15 vs2019中数据导出问题
  • ¥20 云服务Linux系统TCP-MSS值修改?
  • ¥20 关于#单片机#的问题:项目:使用模拟iic与ov2640通讯环境:F407问题:读取的ID号总是0xff,自己调了调发现在读从机数据时,SDA线上并未有信号变化(语言-c语言)
  • ¥20 怎么在stm32门禁成品上增加查询记录功能