paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Cross-language Android permission specification

跨语言 Android 权限规范
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10 · 该论文是跨语言 Android 权限映射的静态分析工作,属于程序分析/安全领域,但用户核心关注的是静态分析与 LLM/Agent、浮点分析或贝叶斯程序分析的交叉,且明确偏好 ML/Agentic 场景。本文不涉及 LLM、机器学习或浮点/贝叶斯分析,因此仅与广义静态分析有弱关联。引用 13 inbox
Chaoran Li, Xiao Chen, Ruoxi Sun, Minhui Xue, Sheng Wen, Muhammad Ejaz Ahmed, Seyit Camtepe, Yang Xiang
crossref: 2026-09-12

AI 速览

一句话:提出跨语言静态分析系统 NatiDroid,构建包含 native 库的完整 Android API 权限映射,减少过度授权误报。

Android 通过权限强制执行控制敏感 API 访问,但官方缺少完整的 API-权限映射文档。现有工作多静态分析 Java API 框架,忽略处理相机、传感器等硬件的 native 库(C/C++),导致映射不完整并引发权限过度授予检测误报。本文提出构建 Android 框架 native 库中的权限保护映射,以获得完整准确的规范,并实现跨语言静态分析原型系统 NatiDroid。作者在 11,000 多个 Android 应用上评估,涵盖定制 ROM 系统应用与 Google Play 第三方应用,并与 Axplorer 和 Arcade 对比。NatiDroid 最多发现 464 个新 API-权限映射;在两者最差结果下约 71% 应用至少有一个权限过度授予误报。所有潜在漏洞已披露给相关方。

问题
官方没有完整文档列出受权限保护的 API 及对应权限;已有分析仅覆盖 Java 框架而遗漏 native 库,导致权限映射不完整和不准确的过度授权检测。
方法
提出构建 Android native 库中的权限保护映射,并实现跨语言静态分析系统 NatiDroid,从 Java 与 C/C++ 代码中提取 API-权限映射。
评估
在超过 11,000 个 Android 应用(定制 ROM 系统应用与 Google Play 第三方应用)上评估,与 Axplorer、Arcade 对比,发现最多 464 个新映射,并暴露最差情况下约 71% 应用的过度授权误报。
原文摘要(Abstract)

The Android system manages access to sensitive APIs by permission enforcement. An application (app) must declare proper permissions before invoking specific Android APIs. However, there is no official documentation providing the complete list of permission-protected APIs and the corresponding permissions to date. Researchers have spent significant efforts extracting such API protection mapping from the Android API framework, which leverages static code analysis to determine if specific permissions are required before accessing an API. Nevertheless, none of them has attempted to analyze the protection mapping in the native library (i.e., code written in C and C++), an essential component of the Android framework that handles communication with the lower-level hardware, such as cameras and sensors. While the protection mapping can be utilized to detect various security vulnerabilities in Android apps, such as permission over-privilege, imprecise mapping will lead to false results in detecting such security vulnerabilities. To fill this gap, we thereby propose to construct the protection mapping involved in the native libraries of the Android framework to present a complete and accurate specification of Android API protection. We develop a prototype system, named NatiDroid, to facilitate the cross-language static analysis and compare its performance with two state-of-the-practice tools, termed Axplorer and Arcade. We evaluate NatiDroid on more than 11,000 Android apps, including system apps from custom Android ROMs and third-party apps from the Google Play. Our NatiDroid can identify up to 464 new API-permission mappings, in contrast to the worst-case results derived from both Axplorer and Arcade, where approximately 71% apps have at least one false positive in permission over-privilege. We have disclosed all the potential vulnerabilities detected to the stakeholders.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot7115,
  title = {Cross-language Android permission specification},
  author = {Chaoran Li and Xiao Chen and Ruoxi Sun and Minhui Xue and Sheng Wen and Muhammad Ejaz Ahmed and Seyit Camtepe and Yang Xiang},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3549142}
}