paperbot · PL 论文追踪

全部论文 待读 收藏

P2 AUSERA: Automated Security Vulnerability Detection for Android Apps

AUSERA:Android 应用自动化安全漏洞检测
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10 · 论文属于静态程序分析与安全漏洞检测,使用了漏洞分类与基准数据集,与程序分析有一般关联;但研究对象是 Android 应用安全,不涉及用户核心关注的 LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析。引用 25 inbox
Sen Chen, Yuxin Zhang, Lingling Fan, Jiaming Li, Yang Liu
crossref: 2026-09-12

AI 速览

一句话:提出漏洞分类体系并扩展 AUSERA,实现 50 类 Android 应用安全漏洞的自动化检测,并构建基准数据集。

现有 Android 应用安全漏洞检测工具存在明显不足:AndroBugs、MobSF、Qark、Super 等基于模式的方法虽能检测部分漏洞,却引入大量误报;FlowDroid、IccTA 等静态污点分析工具往往只给出数据泄露候选而非确认漏洞;同时较完整的漏洞分类体系缺失,导致漏报。本文基于该领域先验知识经验性地提出漏洞分类体系作为基线,并扩展 AUSERA,将其检测能力增强至 50 种安全漏洞类型。作者还构建了覆盖这 50 种漏洞类型的基准数据集,用以展示 AUSERA 的有效性。工具与数据集已公开。

问题
现有 Android 应用安全漏洞检测工具易产生大量误报或仅给出候选漏洞,且缺少较完整的漏洞分类体系,导致漏报。
方法
基于领域先验知识经验性地提出漏洞分类体系作为基线,并扩展 AUSERA,将其检测能力增强至 50 种安全漏洞类型,同时构建覆盖这些类型的基准数据集。
评估
通过包含全部 50 种漏洞类型的基准数据集展示 AUSERA 的检测有效性,并公开工具、数据集与演示视频。
原文摘要(Abstract)

To reduce the attack surface from app source code, massive tools focus on detecting security vulnerabilities in Android apps. However, some obvious weaknesses have been highlighted in the previous studies. For example, (1) most of the available tools such as AndroBugs, MobSF, Qark, and Super use pattern-based methods to detect security vulnerabilities. Although they are effective in detecting some types of vulnerabilities, a large number of false positives would be introduced, which inevitably increases the patching overhead for app developers. (2) Similarly, static taint analysis tools such as FlowDroid and IccTA present hundreds of vulnerability candidates of data leakage instead of confirmed vulnerabilities. (3) Last but not least, a relatively complete vulnerability taxonomy is missing, which would introduce a lot of false negatives. In this paper, based on our prior knowledge in this research domain, we empirically propose a vulnerability taxonomy as the baseline and then extend AUSERA by augmenting the detection capability to 50 security vulnerability types. Meanwhile, a new benchmark dataset including all these 50 vulnerability types is constructed to demonstrate the effectiveness of AUSERA. The tool and datasets are available at https://github.com/tjusenchen/AUSERA and the demonstration video can be found at https://youtu.be/UCiGwVaFPpY.

链接与引用

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

BibTeX
@inproceedings{paperbot7199,
  title = {AUSERA: Automated Security Vulnerability Detection for Android Apps},
  author = {Sen Chen and Yuxin Zhang and Lingling Fan and Jiaming Li and Yang Liu},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559524}
}