@article{bartel:hal-01055656, 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}, URL = {https://inria.hal.science/hal-01055656}, JOURNAL = {{IEEE Transactions on Software Engineering}}, PUBLISHER = {{Institute of Electrical and Electronics Engineers}}, VOLUME = {40}, PAGES = {617-632}, YEAR = {2014}, MONTH = Jun, DOI = {10.1109/TSE.2014.2322867}, KEYWORDS = {call-graph ; permissions ; large scale framework ; Soot ; static analysis ; Java ; Android ; security}, PDF = {https://inria.hal.science/hal-01055656/file/full.pdf}, HAL_ID = {hal-01055656}, HAL_VERSION = {v1}, }