@article{bartel2014static,
  title={Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android},
  author={Bartel, Alexandre and Klein, Jacques and Monperrus, Martin and Le Traon, Yves},
  journal={IEEE Transactions on Software Engineering (TSE)},
  year={2014},
  publisher={IEEE}
}