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
    关注

    Android污点分析工具flowdroid源码简析

    评论

报告相同问题？

悬赏问题

  • ¥20 关于#硬件工程#的问题，请各位专家解答！
  • ¥15 关于#matlab#的问题：期望的系统闭环传递函数为G(s)=wn^2/s^2+2¢wn+wn^2阻尼系数¢=0.707，使系统具有较小的超调量
  • ¥15 FLUENT如何实现在堆积颗粒的上表面加载高斯热源
  • ¥30 截图中的mathematics程序转换成matlab
  • ¥15 动力学代码报错，维度不匹配
  • ¥15 Power query添加列问题
  • ¥50 Kubernetes&Fission&Eleasticsearch
  • ¥15 報錯：Person is not mapped，如何解決？
  • ¥15 c++头文件不能识别CDialog
  • ¥15 Excel发现不可读取的内容