Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps.
Jinlong HeTaolue ChenPing WangZhilin WuJun YanPublished in: APLAS (2019)
Keyphrases
- formal semantics
- static analysis
- dynamic analysis
- mobile applications
- source code
- android platform
- logical language
- mobile apps
- logical reasoning
- mobile platforms
- android application
- regular expressions
- first order logic
- abstract interpretation
- mobile devices
- api calls
- modelling language
- java card
- smart phones
- theorem prover
- modeling language
- black box
- software architecture
- description logics