Login / Signup

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android.

Alexandre BartelJacques KleinMartin MonperrusYves 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