1. Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation
- Author
-
Qiang Zeng, Min Yang, Limin Liu, Lannan Luo, Jian Liu, Peng Liu, Neng Gao, Kai Chen, Xinyu Xing, and Chen Cao
- Subjects
Exploit ,Computer Networks and Communications ,Computer science ,business.industry ,Mobile computing ,Vulnerability ,020206 networking & telecommunications ,02 engineering and technology ,Symbolic execution ,Computer security ,computer.software_genre ,0202 electrical engineering, electronic engineering, information engineering ,Global Positioning System ,Electrical and Electronic Engineering ,Android (operating system) ,business ,computer ,Software ,Vulnerability discovery - Abstract
Android Application Framework is an integral and foundational part of the Android system. Each of the two billion (as of 2017) Android devices relies on the system services of Android Framework to manage applications and system resources. Given its critical role, a vulnerability in the framework can be exploited to launch large-scale cyber attacks and cause severe harms to user security and privacy. Recently, many vulnerabilities in Android Framework were exposed, showing that it is indeed vulnerable and exploitable. While there is a large body of studies on Android application analysis, research on Android Framework analysis is very limited. In particular, to our knowledge, there is no prior work that investigates how to enable symbolic execution of the framework, an approach that has proven to be very powerful for vulnerability discovery and exploit generation. We design and build the first system, Centaur , that enables symbolic execution of Android Framework. Due to the middleware nature and technical peculiarities of the framework that impinge on the analysis, many unique challenges arise and are addressed in Centaur . The system has been applied to discovering new vulnerability instances, which can be exploited by recently uncovered attacks against the framework, and to generating PoC exploits.
- Published
- 2020
- Full Text
- View/download PDF