FlowDroid（流动机器人） swMATH ID: 26741 软件作者： Arzt，S.、Rasthofer，S.，Fritz，C.、Bodden，E.、Bartel，A.、Klein，J.、Le Traon，Y.、Octeau，D.、McDaniel，P。 描述： FlowDroid：针对Android应用程序的精确上下文、流、字段、对象敏感和生命周期感知污染分析。今天的智能手机是一个无处不在的私人和机密数据来源。与此同时，智能手机用户也受到了一些不小心编程的应用程序的困扰，这些应用程序会意外泄漏重要数据，而恶意应用程序则会利用其给定的权限故意复制这些数据。虽然现有的静态污染分析方法具有提前检测此类数据泄漏的潜力，但Android的所有方法都使用大量粗粒度近似值，这些近似值可能会产生大量漏报和假警报。因此，在这项工作中，我们提出了FlowDroid，一种用于Android应用程序的新颖且高度精确的静态污点分析。Android生命周期的精确模型允许分析正确处理Android框架调用的回调，而上下文、流、字段和对象敏感性允许分析减少错误警报的数量。新颖的按需算法有助于FlowDroid同时保持高效和精确。我们还建议使用DroidBench，这是一个开放测试套件，用于评估专门针对Android应用程序的污染分析工具的有效性和准确性。正如我们通过使用SecuriBench Micro、DroidBench和一组著名的Android测试应用程序进行的一组实验所示，FlowDroid发现了很高比例的数据泄漏，同时保持低误报率。在DroidBench上，FlowDroid达到93 主页： https://dl.acm.org/citation.cfm？id=2594299 相关软件： 烟尘;TaintDroid公司;TAJ公司;github;Dytan公司;SPLLIFT公司;达卡波;JSFlow公司;AlexNet公司;EMBER公司;单词2vec;机器人探测器;雄性;ImageNet公司;K校准仪;K-Maude公司;K工具;K-Java公司;莫德;深度编码器 引用于： 9文件 全部的 前5名被25位作者引用 1 艾琳娜·莫瑞卡 1 大卫·阿斯皮纳尔 1 尼古拉·贝蒂埃 1 程晓阳 1 伊西尔·迪利格 1 皮埃特罗·费拉拉 1 高德宾 1 阿米尔·卡夫什达尔·戈哈沙迪 1 Munisamy戈皮纳特 1 Heule，Marijn J.H。 1 贾春福 1 Khakpour，纳吉斯 1 林，燕 1 Nguyen、Hoang Nga 1 卢卡·奥利维埃里 1 奥斯瓦尔多·奥利沃 1 马库斯·罗根巴赫 1 穆罕默德·纳西姆·塞吉尔 1 锡比·查卡拉瓦尔西·塞图拉曼 1 斯波托，福斯托 1 王旭东 1 瓦伦丁·Wüstholz 1 徐学政 1 薛晶玲 1 艾哈迈德·哈利德·扎赫尔 连载1篇 1 计算机科学评论 在2个字段中引用 9 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文