Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Abstract elided by the publisher.
Related papers
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- PEDroid: Automatically Extracting Patches from Android App Updates ECOOP 2022
- Finding resume and restart errors in Android applications OOPSLA 2016
- Targeted and depth-first exploration for systematic testing of android apps OOPSLA 2013
- LiveDroid: identifying and preserving mobile app state in volatile runtime environments OOPSLA 2020
- ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications OOPSLA 2025
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP 2018