{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T02:13:33Z","timestamp":1792808013803,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Hessian LOEWE excellence initiative within CASED"},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1228700, CNS-0905447, CNS-1064944, CNS-0643907"],"award-info":[{"award-number":["CNS-1228700, CNS-0905447, CNS-1064944, CNS-0643907"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594299","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"259-269","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":675,"title":["FlowDroid"],"prefix":"10.1145","author":[{"given":"Steven","family":"Arzt","sequence":"first","affiliation":[{"name":"EC SPRIDE, Technische Universit\u00e4t, Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siegfried","family":"Rasthofer","sequence":"additional","affiliation":[{"name":"EC SPRIDE, Technische Universit\u00e4t, Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Fritz","sequence":"additional","affiliation":[{"name":"EC SPRIDE, Technische Universit\u00e4t, Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[{"name":"EC SPRIDE, Technische Universit\u00e4t, Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Bartel","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacques","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Damien","family":"Octeau","sequence":"additional","affiliation":[{"name":"Pennsylvania State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"McDaniel","sequence":"additional","affiliation":[{"name":"Pennsylvania State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"aug","year":"2013","unstructured":"Virus share , aug 2013 . http:\/\/virusshare.com\/. Virus share, aug 2013. http:\/\/virusshare.com\/."},{"key":"e_1_3_2_1_2_1","unstructured":"IBM Rational AppScan Apr. 2013. http:\/\/www-01.ibm.com\/software\/de\/rational\/appscan\/.  IBM Rational AppScan Apr. 2013. http:\/\/www-01.ibm.com\/software\/de\/rational\/appscan\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Fortify 360 Source Code Analyzer (SCA) Apr. 2013. http:\/\/www8.hp.com\/us\/en\/software-solutions\/software.html?compURI=1214365#.UW6CVKuAtfQ.  Fortify 360 Source Code Analyzer (SCA) Apr. 2013. http:\/\/www8.hp.com\/us\/en\/software-solutions\/software.html?compURI=1214365#.UW6CVKuAtfQ."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351722"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259056"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2011.6112328"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259052"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_9_1","volume-title":"Nov.","author":"I. D. Corporation","year":"2012","unstructured":"I. D. Corporation . Worldwide quarterly mobile phone tracker 3q12 , Nov. 2012 . http:\/\/www.idc.com\/tracker\/showproductinfo.jsp?prod_id=37. I. D. Corporation. Worldwide quarterly mobile phone tracker 3q12, Nov. 2012. http:\/\/www.idc.com\/tracker\/showproductinfo.jsp?prod_id=37."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926407"},{"key":"e_1_3_2_1_11_1","first-page":"393","volume-title":"OSDI","author":"Enck W.","year":"2010","unstructured":"W. Enck , P. Gilbert , B. gon Chun , L. P. Cox , J. Jung , P. McDaniel , and A. Sheth . Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In R. H. Arpaci-Dusseau and B. Chen, editors , OSDI , pages 393 -- 407 . USENIX Association , 2010 . W. Enck, P. Gilbert, B. gon Chun, L. P. Cox, J. Jung, P. McDaniel, and A. Sheth. Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In R. H. Arpaci-Dusseau and B. Chen, editors, OSDI, pages 393--407. USENIX Association, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046614.2046618"},{"key":"e_1_3_2_1_14_1","unstructured":"A. P. Fuchs A. Chaudhuri and J. S. Foster. Scandroid: Automated security certification of android applications.  A. P. Fuchs A. Chaudhuri and J. S. Foster. Scandroid: Automated security certification of android applications."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30921-2_17"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185448.2185464"},{"key":"e_1_3_2_1_17_1","volume-title":"Application fundamentals","author":"G. Inc.","year":"2013","unstructured":"G. Inc. Application fundamentals . 2013 . URL http:\/\/developer.android.com\/guide\/components\/fundamentals.html. G. Inc. Application fundamentals. 2013. URL http:\/\/developer.android.com\/guide\/components\/fundamentals.html."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_3"},{"key":"e_1_3_2_1_19_1","volume-title":"USA","author":"Kim J.","year":"2012","unstructured":"J. Kim , Y. Yoon , K. Yi , and J. Shin . ScanDal: Static analyzer for detecting privacy leaks in android applications. In H. Chen, L. Koved, and D. S. Wallach, editors, MoST 2012: Mobile Security Technologies 2012, Los Alamitos, CA , USA , May 2012 . IEEE. J. Kim, Y. Yoon, K. Yi, and J. Shin. ScanDal: Static analyzer for detecting privacy leaks in android applications. In H. Chen, L. Koved, and D. S. Wallach, editors, MoST 2012: Mobile Security Technologies 2012, Los Alamitos, CA, USA, May 2012. IEEE."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_4"},{"key":"e_1_3_2_1_21_1","volume-title":"Cetus Users and Compiler Infastructure Workshop (CETUS 2011","author":"Lam P.","year":"2011","unstructured":"P. Lam , E. Bodden , O. Lhotak , and L. Hendren . The soot framework for java program analysis: a retrospective . In Cetus Users and Compiler Infastructure Workshop (CETUS 2011 ), Oktober 2011 . P. Lam, E. Bodden, O. Lhotak, and L. Hendren. The soot framework for java program analysis: a retrospective. In Cetus Users and Compiler Infastructure Workshop (CETUS 2011), Oktober 2011."},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"Lhot\u00e1k O.","year":"2003","unstructured":"O. Lhot\u00e1k and L. Hendren . Scaling java points-to analysis using spark . In G. Hedin, editor, Compiler Construction , volume 2622 of LNCS , pages 153 -- 169 . Springer Berlin Heidelberg , 2003 .. O. Lhot\u00e1k and L. Hendren. Scaling java points-to analysis using spark. In G. Hedin, editor, Compiler Construction, volume 2622 of LNCS, pages 153--169. Springer Berlin Heidelberg, 2003.."},{"key":"e_1_3_2_1_23_1","volume-title":"Mar.","author":"Livshits B.","year":"2013","unstructured":"B. Livshits . Securibench micro , Mar. 2013 . http:\/\/suif.stanford.edu\/~livshits\/work\/securibench-micro\/. B. Livshits. Securibench micro, Mar. 2013. http:\/\/suif.stanford.edu\/~livshits\/work\/securibench-micro\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382223"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232009"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_8"},{"key":"e_1_3_2_1_27_1","volume-title":"USENIX Security Symposium 2013","author":"Octeau D.","year":"2013","unstructured":"D. Octeau , P. McDaniel , S. Jha , A. Bartel , E. Bodden , J. Klein , and Y. L. Traon . Effective inter-component communication mapping in android: An essential step towards holistic security analysis . In USENIX Security Symposium 2013 , Aug. 2013 . D. Octeau, P. McDaniel, S. Jha, A. Bartel, E. Bodden, J. Klein, and Y. L. Traon. Effective inter-component communication mapping in android: An essential step towards holistic security analysis. In USENIX Security Symposium 2013, Aug. 2013."},{"key":"e_1_3_2_1_28_1","unstructured":"Paladion. Insecurebank test app. http:\/\/www.paladion.net\/downloadapp.html.  Paladion. Insecurebank test app. http:\/\/www.paladion.net\/downloadapp.html."},{"key":"e_1_3_2_1_29_1","volume-title":"Blackhat USA","author":"Percoco N. J.","year":"2012","unstructured":"N. J. Percoco and S. Schulte . Adventures in bouncerland . Blackhat USA , 2012 . N. J. Percoco and S. Schulte. Adventures in bouncerland. Blackhat USA, 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23039"},{"key":"e_1_3_2_1_31_1","volume-title":"Prague","author":"Reina A.","year":"2013","unstructured":"A. Reina , A. Fattori , and L. Cavallaro . A system call-centric analysis and stimulation technique to automatically reconstruct android malware behaviors. In EUROSEC , Prague , Czech Republic , April 2013 . A. Reina, A. Fattori, and L. Cavallaro. A system call-centric analysis and stimulation technique to automatically reconstruct android malware behaviors. In EUROSEC, Prague, Czech Republic, April 2013."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788374.1788380"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/243753.243762"},{"key":"e_1_3_2_1_35_1","volume-title":"On the effectiveness of dynamic taint analysis for protecting against private information leaks on android-based devices","author":"Sarwar G.","year":"2013","unstructured":"G. Sarwar , O. Mehani , R. Boreli , and M. A. Kaafar . On the effectiveness of dynamic taint analysis for protecting against private information leaks on android-based devices , 2013 . G. Sarwar, O. Mehani, R. Boreli, and M. A. Kaafar. On the effectiveness of dynamic taint analysis for protecting against private information leaks on android-based devices, 2013."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048145"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_15"},{"key":"e_1_3_2_1_38_1","first-page":"27","volume-title":"Security'12","author":"Xu R.","year":"2012","unstructured":"R. Xu , H. Sa\u00efdi , and R. Anderson . Aurasium: practical policy enforcement for android applications. In USENIX Security 2012 , Security'12 , pages 27 -- 27 , Berkeley, CA, USA , 2012 . USENIX Association. R. Xu, H. Sa\u00efdi, and R. Anderson. Aurasium: practical policy enforcement for android applications. In USENIX Security 2012, Security'12, pages 27--27, Berkeley, CA, USA, 2012. USENIX Association."},{"key":"e_1_3_2_1_39_1","first-page":"29","volume-title":"Security'12","author":"Yan L. K.","year":"2012","unstructured":"L. K. Yan and H. Yin . Droidscope: seamlessly reconstructing the os and dalvik semantic views for dynamic android malware analysis. In USENIX Security 2012 , Security'12 , pages 29 -- 29 , Berkeley, CA, USA , 2012 . USENIX Association. L. K. Yan and H. Yin. Droidscope: seamlessly reconstructing the os and dalvik semantic views for dynamic android malware analysis. In USENIX Security 2012, Security'12, pages 29--29, Berkeley, CA, USA, 2012. USENIX Association."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCSE.2012.26"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2012.6461017"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.16"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594299","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:04Z","timestamp":1750215664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594299"}},"subtitle":["precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps"],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":41,"alternative-id":["10.1145\/2594291.2594299","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594299","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594299","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}