Android污点分析工具是否信守其承诺？
软件工程
2019-07-31 v2
摘要
近年来，研究者开发了多种工具用于对 Android 应用进行污点分析。尽管相关论文都旨在提供详尽的实证评估，但评估目标的不一致或不清晰阻碍了可比性。有时，用于评估的应用未被精确描述。在其他情况下，作者使用了既定基准却仅覆盖其中一部分。在另一些情况下，评估所搜寻的数据泄漏不同，或缺乏用于比较的 ground truth。所有这些局限使得基于已发表评估真正比较这些工具成为不可能。因此我们提出 ReproDroid，一个允许精确比较 Android 污点分析工具的框架。ReproDroid 支持研究者推断应用中数据泄漏的 ground truth、自动将工具应用于基准并评估所得结果。我们使用 ReproDroid 在同等条件下对六个著名的污点分析工具 Amandroid、DIALDroid、DidFail、DroidSafe、FlowDroid 和 IccTA 进行比较评估。结果大体积极，尽管有四个工具违背了有关功能与准确性的一些承诺。最后，我们以全新且改进的开放测试套件 DroidBench 版本为无偏基准测试领域做出贡献。
引用
@article{arxiv.1804.02903,
title = {Do Android Taint Analysis Tools Keep Their Promises?},
author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
journal= {arXiv preprint arXiv:1804.02903},
year = {2019}
}