paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Together strong: cooperative Android app analysis

团结就是力量:协作式 Android 应用分析
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10 · 该论文属于静态分析与抽象解释方向,讨论 Android 污点分析中的多工具协作,但研究场景是移动安全而非用户关注的 ML/Agentic 程序、LLM 辅助静态分析、浮点分析或贝叶斯程序分析,因此与当前研究画像核心方向基本无关。引用 20 inbox
Felix Pauck, Heike Wehrheim
crossref: 2026-09-12

AI 速览

一句话:提出协作式 Android 应用污点分析,通过多工具协同应对单一工具选择与组合难题。

近年来,针对 Android 应用污点分析的工具大量涌现,用于检测应用中有意或无意造成的数据泄露。这些工具往往专门处理反射、应用间通信等阻碍精确分析的特定特性,因而适用性和可组合性各异。面对具体分析任务时,即便是经验丰富的用户也难以选择合适的工具或工具组合,这阻碍了污点分析的成功采用。本文(标题所指)提出协作式 Android 应用分析,旨在通过多个分析工具之间的协同来克服单一工具的局限;摘要未给出具体协作机制与实验评估细节。

问题
Android 污点分析工具众多且各自针对不同特性,用户难以选择合适的工具或工具组合,阻碍了分析的实际采用。
方法
提出协作式 Android 应用分析,通过多工具协同来应对单一工具在特定特性上的局限(具体机制未在摘要中详述)。
评估
摘要未提供评估信息;从给定内容无法总结实验设计与结果。
原文摘要(Abstract)

Recent years have seen the development of numerous tools for the analysis of taint flows in Android apps. Taint analyses aim at detecting data leaks, accidentally or by purpose programmed into apps. Often, such tools specialize in the treatment of specific features impeding precise taint analysis (like reflection or inter-app communication). This multitude of tools, their specific applicability and their various combination options complicate the selection of a tool (or multiple tools) when faced with an analysis instance, even for knowledgeable users, and hence hinders the successful adoption of taint analyses.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5104,
  title = {Together strong: cooperative Android app analysis},
  author = {Felix Pauck and Heike Wehrheim},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3338915}
}