paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Do Android taint analysis tools keep their promises?

Android 污点分析工具兑现承诺了吗?
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 4/10 · 论文属于静态分析工具的实证评估与基准方法论,和用户对基准缺失、工具失效原因分析的兴趣有一定重合;但研究对象是 Android 污点分析,不涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析,也不是 PL 与 AI 的交叉方向。引用 76 inbox
Felix Pauck, Eric Bodden, Heike Wehrheim
crossref: 2026-09-12

AI 速览

一句话:揭示 Android 污点分析工具评估目标不一、基准不完整且缺乏真值,导致无法真正比较工具。

论文研究 Android 污点分析工具实证评估的可比性问题。作者指出,尽管相关工具论文都试图提供充分评估,但评估目标常不一致或不明确:被测应用描述不精确,有的仅部分覆盖公认基准,有的搜索的数据泄漏类型不同,且常缺少可供对照的 ground truth。这些限制使读者无法根据已发表结果真正比较不同工具,也无法判断工具是否兑现其宣称能力。该工作系统揭示 Android 污点分析评估实践中的缺陷,强调需要统一、可复现且带真值的评估基准与协议,以支撑工具间公平比较。

问题
Android 污点分析工具的实证评估缺乏可比性:评估目标、基准覆盖、泄漏定义与 ground truth 不一致或不明确。
方法
通过审视已有工具论文的评估实践,归纳其评估目标与基准使用上的差异和局限。
评估
基于对已发表评估的比较分析,指出现有评估无法用于真正比较工具,并强调统一可复现基准的必要性。
原文摘要(Abstract)

In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim at providing a thorough empirical evaluation, comparability is hindered by varying or unclear evaluation targets. Sometimes, the apps used for evaluation are not precisely described. In other cases, authors use an established benchmark but cover it only partially. In yet other cases, the evaluations differ in terms of the data leaks searched for, or lack a ground truth to compare against. All those limitations make it impossible to truly compare the tools based on those published evaluations.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4570,
  title = {Do Android taint analysis tools keep their promises?},
  author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3236029}
}