Login / Signup
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android.
Alexandre Bartel
Jacques Klein
Martin Monperrus
Yves Le Traon
Published in:
CoRR (2014)
Keyphrases
</>
static analysis
abstract interpretation
real world
knowledge base
source code
high level
database systems
optimal solution
data management
data flow
mobile platforms
symbolic execution