Detecting Resource Leaks on Android with Alpakka
Mobile devices have become integral to our everyday lives, yet their utility hinges on their battery life. In Android apps, resource leaks caused by inefficient resource management are a significant contributor to battery drain and poor user experience. Our work introduces Alpakka, a source-to-source compiler for Android’s Smali syntax. To showcase Alpakka’s capabilities, we developed an Alpakka library capable of detecting and automatically correcting resource leaks in Android APK files. We demonstrate Alpakka’s effectiveness through empirical testing on 124 APK files from 31 real-world Android apps in the DroidLeaks dataset. In our analysis, Alpakka identified 93 unique resource leaks, of which we estimate 15% are false positives. From these, we successfully applied automatic corrections to 45 of the detected resource leaks.
Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 13:30 - 15:00 | |||
| 13:3022m Talk | Optimize Effect Handling for Tail-resumption with Stack Unwinding SLE 2025 | ||
| 13:5222m Talk | Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025 Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
| 14:1522m Talk | (Semantic) Feature Model Differences with (Q)SAT SLE 2025 Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz | ||
| 14:3722m Talk | Detecting Resource Leaks on Android with Alpakka SLE 2025 Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do PortoPre-print | ||

