{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T16:42:24Z","timestamp":1776530544959,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Luxembourg National Research Fund","award":["16344458"],"award-info":[{"award-number":["16344458"]}]},{"name":"Luxembourg National Research Fund","award":["18154263"],"award-info":[{"award-number":["18154263"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680333","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"945-957","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Call Graph Soundness in Android Static Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6052-6184","authenticated-orcid":false,"given":"Jordan","family":"Samhi","sequence":"first","affiliation":[{"name":"CISPA Helmholtz Center for Information Security, Saarbrucken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5982-275X","authenticated-orcid":false,"given":"Ren\u00e9","family":"Just","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7270-9869","authenticated-orcid":false,"given":"Tegawend\u00e9 F.","family":"Bissyand\u00e9","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9379-277X","authenticated-orcid":false,"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4052-475X","authenticated-orcid":false,"given":"Jacques","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2956925"},{"key":"e_1_3_2_1_2_1","volume-title":"Identifying unsoundness of call graphs in Android static analysis tools. Master\u2019s thesis","author":"Aljawder Dana","unstructured":"Dana Aljawder. 2016. Identifying unsoundness of call graphs in Android static analysis tools. Master\u2019s thesis. Boston University. https:\/\/open.bu.edu\/handle\/2144\/17085"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903508"},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/github.com\/rednaga\/APKiD Accessed","author":"ID.","year":"2023","unstructured":"ApkID. 2023. https:\/\/github.com\/rednaga\/APKiD Accessed December 2023"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884816"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.69"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE)","author":"Barros Paulo","unstructured":"Paulo Barros, Ren\u00e9 Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d\u2019Amorim, and Michael D. Ernst. 2015. Static analysis of implicit control flow: Resolving Java reflection and Android intents. In Proceedings of the International Conference on Automated Software Engineering (ASE). Lincoln, NE, USA. 669\u2013679."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771288"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE). 45th International Conference on Software Engineering, ICSE 2023","author":"Bose Priyanka","year":"2023","unstructured":"Priyanka Bose, Dipanjan Das, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko, Andrea Continella, Antonio Bianchi, Christopher Kruegel, and Giovanni Vigna. 2023. COLUMBUS: Android App Testing Through Systematic Callback Exploration. In Proceedings of the International Conference on Software Engineering (ICSE). 45th International Conference on Software Engineering, ICSE 2023"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Yinzhi Cao Yanick Fratantonio Antonio Bianchi Manuel Egele Christopher Kruegel Giovanni Vigna and Yan Chen. 2015. EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework.. In NDSS.","DOI":"10.14722\/ndss.2015.23140"},{"key":"e_1_3_2_1_13_1","article-title":"Automatically Distilling Storyboard with Rich Features for Android Apps","author":"Chen Sen","year":"2022","unstructured":"Sen Chen, Lingling Fan, Chunyang Chen, and Yang Liu. 2022. Automatically Distilling Storyboard with Rich Features for Android Apps. IEEE Transactions on Software Engineering.","journal-title":"IEEE Transactions on Software Engineering."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00070"},{"key":"e_1_3_2_1_15_1","volume-title":"https:\/\/dexprotector.com Accessed","year":"2023","unstructured":"DexProtector. 2023. https:\/\/dexprotector.com Accessed December 2023"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197231.3197255"},{"key":"e_1_3_2_1_17_1","volume-title":"https:\/\/github.com\/fluttercommunity\/flutter_downloader Accessed","author":"Downloader Flutter","year":"2023","unstructured":"Flutter Downloader. 2023. https:\/\/github.com\/fluttercommunity\/flutter_downloader Accessed December 2023"},{"key":"e_1_3_2_1_18_1","unstructured":"Michael D. Ernst. [n. d.]. Static and dynamic analysis: Synergy and duality. 24\u201327."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 38th ACM\/IEEE International Conference on Automated Software Engineering (ASE","author":"Yonghui","year":"2023","unstructured":"Yonghui Liu et al.. 2023. ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps. In Proceedings of the 38th ACM\/IEEE International Conference on Automated Software Engineering (ASE 2023). Association for Computing Machinery."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168829"},{"key":"e_1_3_2_1_22_1","volume-title":"https:\/\/developer.android.com\/studio\/test\/ monkey Accessed","author":"Monkey Android","year":"2023","unstructured":"Google. 2023. Android Monkey,. https:\/\/developer.android.com\/studio\/test\/ monkey Accessed July 2023"},{"key":"e_1_3_2_1_23_1","volume-title":"https:\/\/flutter.dev Accessed","year":"2023","unstructured":"Google. 2023. Flutter. https:\/\/flutter.dev Accessed December 2023"},{"key":"e_1_3_2_1_24_1","first-page":"110","article-title":"Information flow analysis of android applications in droidsafe","volume":"15","author":"Gordon Michael I","year":"2015","unstructured":"Michael I Gordon, Deokhwan Kim, Jeff H Perkins, Limei Gilham, Nguyen Nguyen, and Martin C Rinard. 2015. Information flow analysis of android applications in droidsafe.. In NDSS. 15, 110.","journal-title":"NDSS."},{"key":"e_1_3_2_1_25_1","volume-title":"Poseidon\u2019s Offspring: Charybdis and Scylla,. https:\/\/www.humansecurity.com\/learn\/blog\/poseidons-offspring-charybdis-and-scylla Accessed","author":"Intelligence Satori Threat","year":"2022","unstructured":"Satori Threat Intelligence and Research Team. 2022. Poseidon\u2019s Offspring: Charybdis and Scylla,. https:\/\/www.humansecurity.com\/learn\/blog\/poseidons-offspring-charybdis-and-scylla Accessed July 2023"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM52516.2021.00030"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614633"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197231.3197232"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00021"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970368"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.36"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549142"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00042"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818791"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931044"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516854"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.30"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313391"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM52516.2021.00031"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330555"},{"key":"e_1_3_2_1_42_1","volume-title":"https:\/\/github.com\/ucsb-seclab\/columbus Accessed","author":"Columbus","year":"2023","unstructured":"Columbus repository. 2023. https:\/\/github.com\/ucsb-seclab\/columbus Accessed December 2023"},{"key":"e_1_3_2_1_43_1","volume-title":"Analyzing the Unanalyzable: an Application to Android Apps. Ph. D. Dissertation","author":"Samhi Jordan","unstructured":"Jordan Samhi. 2023. Analyzing the Unanalyzable: an Application to Android Apps. Ph. D. Dissertation. University of Luxembourg, Luxembourg City, Luxembourg. http:\/\/hdl.handle.net\/10993\/54372"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00126"},{"key":"e_1_3_2_1_45_1","volume-title":"AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis. In 2024 IEEE\/ACM 21st International Conference on Mining Software Repositories (MSR).","author":"Samhi J.","unstructured":"J. Samhi, T. F. Bissyande, and J. Klein. 2024. AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis. In 2024 IEEE\/ACM 21st International Conference on Mining Software Repositories (MSR)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3512766"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510135"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663806"},{"key":"e_1_3_2_1_49_1","volume-title":"https:\/\/github.com\/ryanheise\/audio_service Accessed","author":"Service Audio","year":"2023","unstructured":"Audio Service. 2023. https:\/\/github.com\/ryanheise\/audio_service Accessed December 2023"},{"key":"e_1_3_2_1_50_1","volume-title":"An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools. ECOOP and ISSTA 2023 Student Research Competition.","author":"Soles Dakota","year":"2023","unstructured":"Dakota Soles. 2023. An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools. ECOOP and ISSTA 2023 Student Research Competition."},{"key":"e_1_3_2_1_51_1","volume-title":"On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation","author":"Sui Li","unstructured":"Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, and Amjed Tahir. 2018. On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. In Programming Languages and Systems, Sukyoung Ryu (Ed.). Springer International Publishing, Cham. 69\u201388. isbn:978-3-030-02768-1"},{"key":"e_1_3_2_1_52_1","volume-title":"https:\/\/unity.com Accessed","year":"2023","unstructured":"Unity. 2023. Unity. https:\/\/unity.com Accessed December 2023"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464828"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240465"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931021.2931026"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660357"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","unstructured":"Daoyuan Wu Debin Gao Robert H. Deng and Chang Rocky K. C.. 2021. When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid. In 2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). 543\u2013554. https:\/\/doi.org\/10.1109\/DSN48987.2021.00063 10.1109\/DSN48987.2021.00063","DOI":"10.1109\/DSN48987.2021.00063"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2547385"},{"key":"e_1_3_2_1_59_1","volume-title":"https:\/\/dotnet.microsoft.com\/apps\/xamarin Accessed","author":"XAMARIN.","year":"2023","unstructured":"XAMARIN. 2023. https:\/\/dotnet.microsoft.com\/apps\/xamarin Accessed December 2023"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","unstructured":"Jiwei Yan Shixin Zhang Yepang Liu Jun Yan and Jian Zhang. 2022. ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. In 2022 IEEE\/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 105\u2013109. https:\/\/doi.org\/10.1109\/ICSE-Companion55297.2022.9793791 10.1109\/ICSE-Companion55297.2022.9793791","DOI":"10.1109\/ICSE-Companion55297.2022.9793791"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.31"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.31"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680333","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680333"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":62,"alternative-id":["10.1145\/3650212.3680333","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680333","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}