Practical Precise Taint-flow Static Analysis for Android App Sets.
William KlieberLori FlynnWill SnavelyMichael ZhengPublished in: ARES (2018)
Keyphrases
- static analysis
- mobile apps
- dynamic analysis
- mobile applications
- source code
- api calls
- java card
- symbolic execution
- malicious code
- android platform
- mobile devices
- real world
- test generation
- social networking
- regular expressions
- test suite
- abstract interpretation
- android application
- test cases
- software engineering
- databases
- database