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:
IEEE Trans. Software Eng. (2014)
Keyphrases
</>
static analysis
real world
abstract interpretation
access control
dynamic analysis
test generation
optimal solution
object oriented