paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Comprehensive Evaluation of Android ICC Resolution Techniques

Android ICC 解析技术的综合评估
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 论文主题为 Android 组件间通信（ICC）解析技术的评估，属于移动安全/Android 程序分析领域，与用户核心关注的 ML/Agent 系统的静态分析、浮点程序分析、贝叶斯程序分析以及 LLM 与程序分析的交叉均无直接关联，仅泛泛涉及静态分析评估方法。引用 15 inbox
Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian Zhang
程序分析与抽象解释
crossref: 2026-09-12

AI 速览

一句话：系统评估 Android 组件间通信（ICC）解析技术，梳理入口识别、数据流分析与框架 API 建模等关键需求与挑战。

组件间通信（ICC）是移动应用中广泛使用的机制，可实现基于消息的控制流转移与 Android 组件间的数据传递。有效的 ICC 解析需要精确识别入口点、分析 ICC 字段的数据值、对相关框架 API 建模等。由于涉及多种控制流和数据流特征，且真实应用缺乏 oracle，对 ICC 解析技术进行全面评估十分困难。本文围绕 Android ICC 解析技术展开综合评估，关注其覆盖的控制流/数据流特性、框架 API 建模需求以及评估 oracle 缺失等问题，旨在为理解不同 ICC 解析方法的有效性与适用边界提供系统视角。

问题
如何全面评估 Android ICC 解析技术；ICC 解析需识别入口点、分析 ICC 字段值并建模框架 API，涉及复杂的控制流与数据流特征。
方法
对 Android ICC 解析技术进行综合评估，围绕控制流/数据流相关特征和框架 API 建模等维度组织分析。
评估
评估需面向真实应用，并处理缺乏 oracle 的问题；摘要强调控制流、数据流特征和框架 API 建模给全面评估带来的挑战。
原文摘要（Abstract）

Inter-component communication (ICC) is a widely used mechanism in mobile apps, which enables message-based control flow transferring and data passing between Android components. Effective ICC resolution requires precisely identifying entry points, analyzing data values of ICC fields, modeling related framework APIs, etc. Due to various control-flow- and data-flow-related characteristics involved and the lack of oracles for real-world apps, the comprehensive evaluation of ICC resolution techniques is challenging.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot7156,
  title = {A Comprehensive Evaluation of Android ICC Resolution Techniques},
  author = {Jiwei Yan and Shixin Zhang and Yepang Liu and Xi Deng and Jun Yan and Jian Zhang},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3560420}
}