On the unsoundness of static analysis for Android GUIs.
Yan WangHailong ZhangAtanas RountevPublished in: SOAP@PLDI (2016)
Keyphrases
- case study
- static analysis
- dynamic analysis
- graphical user interfaces
- source code
- mobile devices
- open source
- malware detection
- malicious code
- symbolic execution
- abstract interpretation
- mobile applications
- api calls
- test suite
- java card
- android application
- smart phones
- databases
- test generation
- regular expressions
- context aware
- wordnet