Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Peter Aldous, David Van Horn · 2013
Sound malware analysis of Android applications is challenging. First, object-oriented programs exhibit highly interprocedural, dynamically dispatched control structure. Second, the Android programming paradigm relies heavily on the asynchronous execution of multiple entry points. Existing analysis techniques focus more on the second challenge, while relying on traditional analytic techniques that suffer from inherent imprecision or unsoundness to solve the first.