Towards verifying android apps for the absence of no-sleep energy bugs
作者： Panagiotis Vekris , Ranjit Jhala , Yuvraj Agarwal , Sorin Lerner
DOI:
关键词:
摘要: The Android OS conserves battery life by aggressively turning off components, such as screen and GPS, while allowing application developers to explicitly prevent part of this behavior using the WakeLock API. Unfortunately, inherent complexity programming model developer errors often lead improper use Wake-Locks that manifests no-sleep bugs. To mitigate problem, we have implemented a tool verifies absence kind energy bugs w.r.t. set Wake-Lock specific policies precise, inter-procedural data flow analysis framework enforce them. We run our on 328 apps utilize WakeLocks, verify 145 them shed light locking patterns employed when these can be harmful. Further, identify challenges remain in order make verification even more precise.
synergylabs.org 
acm.org 参考文章(12)
Damien Octeau, William Enck, Patrick McDaniel, Swarat Chaudhuri, A study of android application security usenix security symposium. pp. 21- 21 ,(2011)
Clint Gibler, Jonathan Crussell, Jeremy Erickson, Hao Chen, AndroidLeaks: automatically detecting potential privacy leaks in android applications on a large scale trust and trustworthy computing. pp. 291- 307 ,(2012) , 10.1007/978-3-642-30921-2_17
Sasu Tarkoma, Eemil Lagerspetz, Anand Iyer, Ion Stoica, Adam J. Oliner, Collaborative energy debugging for mobile devices hot topics in system dependability. pp. 6- 6 ,(2012)
Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Where is the energy spent inside my app?: fine grained energy accounting on smartphones with Eprof european conference on computer systems. pp. 29- 42 ,(2012) , 10.1145/2168836.2168841
Erika Chin, Adrienne Porter Felt, Kate Greenwood, David Wagner, Analyzing inter-application communication in Android Proceedings of the 9th international conference on Mobile systems, applications, and services - MobiSys '11. pp. 239- 252 ,(2011) , 10.1145/1999995.2000018
Abhinav Pathak, Abhilash Jindal, Y. Charlie Hu, Samuel P. Midkiff, What is keeping my phone awake? Proceedings of the 10th international conference on Mobile systems, applications, and services - MobiSys '12. pp. 267- 280 ,(2012) , 10.1145/2307636.2307661
Thomas Reps, Susan Horwitz, Mooly Sagiv, Precise interprocedural dataflow analysis via graph reachability Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. pp. 49- 61 ,(1995) , 10.1145/199448.199462
Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Vision Proceedings of the second international workshop on Mobile cloud computing and services - MCS '11. pp. 21- 26 ,(2011) , 10.1145/1999732.1999740
Adrienne Porter Felt, Erika Chin, Steve Hanna, Dawn Song, David Wagner, Android permissions demystified Proceedings of the 18th ACM conference on Computer and communications security - CCS '11. pp. 627- 638 ,(2011) , 10.1145/2046707.2046779
Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices hot topics in networks. pp. 5- ,(2011) , 10.1145/2070562.2070567