usenix conference policies
Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs
Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, and Yuvraj Agarwal, University of California, San Diego
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, the inherent complexity of the Android programming model and developer errors often lead to improper use of WakeLocks that manifests as no-sleep bugs. To mitigate this problem, we have implemented a tool that verifies the absence of this kind of energy bugs w.r.t. a set of WakeLock specific policies using a precise, inter-procedural data flow analysis framework to enforce them. We run our analysis on 328 Android apps that utilize WakeLocks, verify 145 of them and shed light on the locking patterns employed and when these can be harmful. Further, we identify challenges that remain in order to make verification of Android apps even more precise.
Open Access Media
USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.
author = {Panagiotis Vekris and Ranjit Jhala and Sorin Lerner and Yuvraj Agarwal},
title = {Towards Verifying Android Apps for the Absence of {No-Sleep} Energy Bugs},
booktitle = {2012 Workshop on Power-Aware Computing and Systems (HotPower 12)},
year = {2012},
address = {Hollywood, CA},
url = {https://www.usenix.org/conference/hotpower12/workshop-program/presentation/Vekris},
publisher = {USENIX Association},
month = oct
}
connect with us