When program analysis meets bytecode search: Targeted and efficient inter-procedural analysis of modern Android apps in BackDroid

• Main Authors: WU, Daoyuan, GAO, Debin, DENG, Robert H., CHANG, Rocky
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2021
• Subjects: application programs; computer aided software engineering; data flow analysis; Artificial Intelligence and Robotics; Computer and Systems Architecture; Graphics and Human Computer Interfaces; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/6540; https://ink.library.smu.edu.sg/context/sis_research/article/7543/viewcontent/When_program_analysis_meets_bytecode_search_Targeted_and_efficient_inter_procedural_analysis_of_modern_Android_apps_in_BackDroid__1_.pdf
• Institution: Singapore Management University

Widely-used Android static program analysis tools,e.g., Amandroid and FlowDroid, perform the whole-app interprocedural analysis that is comprehensive but fundamentallydifficult to handle modern (large) apps. The average app size hasincreased three to four times over five years. In this paper, weexpl...