1 Hit in 0.06 sec

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications

Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
Android software presents many challenges for static program analysis. In this work we focus on the fundamental problem of static control-flow analysis. Traditional analyses cannot be directly applied to Android because the applications are framework-based and event-driven. We consider user-eventdriven components and the related sequences of callbacks from the Android framework to the application code, both for lifecycle callbacks and for event handler callbacks. We propose a program
more » ... program representation that captures such callback sequences. This representation is built using contextsensitive static analysis of callback methods. The analysis performs graph reachability by traversing context-compatible interprocedural control-flow paths and identifying statements that may trigger callbacks, as well as paths that avoid such statements. We also develop a client analysis that builds a static model of the application's GUI. Experimental evaluation shows that this context-sensitive approach leads to substantial precision improvements, while having practical cost.
doi:10.1109/icse.2015.31 dblp:conf/icse/YangYWWR15 fatcat:g3fnbnfdtbh6ldysxuxf2yioby