ABSTRACT
Android, the modern operating system for smartphones, together with its millions of apps, has become an important part of human life. There are many challenges to analyzing them. It is important to model the mobile systems in order to analyze the behaviors of apps accurately. These apps are built on top of interactions with Android systems. We aim to automatically build abstract models of the mobile systems and thus automate the analysis of mobile applications and detect potential issues (e.g., leaking private data, causing unexpected crashes, etc.). The expected results will be the accuracy models of actual various versions of Android system and apps for top apps selected from Google Play Store.
- Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., ... & McDaniel, P. (2014, June). Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. In ACM SIGPLAN Notices (Vol. 49, No. 6, pp. 259--269). Google ScholarDigital Library
- Li, L., Bartel, A., Bissyandé, T. F., Klein, J., Le Traon, Y., Arzt, S., ... & McDaniel, P. (2015, May). IccTA: Detecting inter-component privacy leaks in Android apps. In Proceedings of the 37th International Conference on Software Engineering-Volume 1 (pp. 280--291). IEEE Press. Google ScholarDigital Library
- Vallée-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., & Sundaresan, V. (1999, November). Soot-a Java bytecode optimization framework. In Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research (p. 13). IBM Press. Google ScholarDigital Library
- Yang, S., Yan, D., Wu, H., Wang, Y., & Rountev, A. (2015, May). Static control-flow analysis of user-driven callbacks in Android applications. InProceedings of the 37th International Conference on Software Engineering-Volume 1 (pp. 89--99). IEEE Press. Google ScholarDigital Library
Index Terms
- Poster: Android Whole-System Control Flow Analysis for Accurate Application Behavior Modeling
Recommendations
Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps
CCS '14: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications SecurityWe propose a new approach to conduct static analysis for security vetting of Android apps, and built a general framework, called Amandroid for determining points-to information for all objects in an Android app in a flow- and context-sensitive way ...
Detecting Android application malicious behaviors based on the analysis of control flows and data flows
SIN '17: Proceedings of the 10th International Conference on Security of Information and NetworksThis paper explores the problem of identifying malicious code sections in applications for the Android. A method for analyzing Android applications is proposed, based on applying of static analysis using control flow graphs and data flow graphs. The ...
Poster: Sdguard: An Android Application Implementing Privacy Protection and Ransomware Detection
MobiSys '17: Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and ServicesCurrently, the smartphone has become an essential communication and amusement tool, which has strong computing power and a variety of functions. Especially, the market share of smartphone with android system account for 84% in 2016[1]. Under android ...
Comments