sle2025/paper14

SLE 2025 paper:
Detecting Resource Leaks on Android with Alpakka

Gustavo Soares Santos, João Bispo, Alexandra Mendes

• DOI: 10.1145/3732771.3742724
• T4B: Horizontal Transformation
  • Alpakka is a source-to-source compiler over Smali that transforms programs to detect and repair resource leaks.
• T2B: Evolution
  • Automatically localizing and fixing resource leaks supports maintenance and regression prevention in Android apps.
• T5E: Empirical Evaluation
  • It reports an empirical evaluation on a dataset of real APKs and quantifies findings such as false positive rates.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.