{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:05:56Z","timestamp":1783008356128,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3696193","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"1195-1205","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["AXA: Cross-Language Analysis through Integration of Single-Language Analyses"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6561-0430","authenticated-orcid":false,"given":"Tobias","family":"Roth","sequence":"first","affiliation":[{"name":"National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"},{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5162-3334","authenticated-orcid":false,"given":"Julius","family":"N\u00e4umann","sequence":"additional","affiliation":[{"name":"National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"},{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6425-8630","authenticated-orcid":false,"given":"Dominik","family":"Helm","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, Essen, Germany"},{"name":"National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"},{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4278-2181","authenticated-orcid":false,"given":"Sven","family":"Keidel","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6563-7537","authenticated-orcid":false,"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"},{"name":"Hessian Center for Artificial Intelligence (hessian.AI), Darmstadt, Germany"},{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660214"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30806-7_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480917"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2019.00058"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409765"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57267-8_14"},{"key":"e_1_3_2_1_10_1","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation.","author":"Krishna Rahul","year":"2023","unstructured":"Rahul Krishna, Raju Pavuluri, Saurabh Sinha, Divya Sankar, Julian Dolby, and Rangeet Pan. 2023. Towards Supporting Universal Static Analysis using WALA. In ACM SIGPLAN Conference on Programming Language Design and Implementation."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00026"},{"key":"e_1_3_2_1_12_1","volume-title":"Cetus Users and Compiler Infastructure Workshop (CETUS","volume":"15","author":"Lam Patrick","year":"2011","unstructured":"Patrick Lam, Eric Bodden, Ondrej Lhot\u00e1k, and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective. In Cetus Users and Compiler Infastructure Workshop (CETUS 2011), Vol. 15."},{"key":"e_1_3_2_1_13_1","volume-title":"Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study. In 2017 IEEE\/ACM 39th International Conference on Software Engineering","author":"Landman Davy","unstructured":"Davy Landman, Alexander Serebrenik, and Jurgen J. Vinju. 2017. Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study. In 2017 IEEE\/ACM 39th International Conference on Software Engineering (Buenos Aires, Argentina) (ICSE'17). IEEE, 507--518."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970368"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416558"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion52605.2021.00119"},{"key":"e_1_3_2_1_18_1","volume-title":"PolyCruise: A Cross-Language Dynamic Information Flow Analysis. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Li Wen","year":"2022","unstructured":"Wen Li, Jiang Ming, Xiapu Luo, and Haipeng Cai. 2022. PolyCruise: A Cross-Language Dynamic Information Flow Analysis. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 2513--2530."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5220\/0010543800690077"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379671"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88806-0_16"},{"key":"e_1_3_2_1_22_1","volume-title":"Challenges of Software Verification","author":"Negrini Luca","unstructured":"Luca Negrini, Pietro Ferrara, Vincenzo Arceri, and Agostino Cortesi. 2023. LiSA: a generic framework for multilanguage static analysis. In Challenges of Software Verification. Springer, 19--42."},{"key":"e_1_3_2_1_23_1","volume-title":"Some problems of basic organization in problem-solving programs","author":"Newell Allen","unstructured":"Allen Newell. 1962. Some problems of basic organization in problem-solving programs. Rand Corporation."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3569449"},{"key":"e_1_3_2_1_26_1","volume-title":"Ghizlane El Boussaidi, and Jean Privat","author":"Shatnawi Anas","year":"2019","unstructured":"Anas Shatnawi, Hafedh Mili, Manel Abdellatif, Yann-Ga\u00ebl Gu\u00e9h\u00e9neuc, Naouel Moha, Geoffrey Hecht, Ghizlane El Boussaidi, and Jean Privat. 2019. Static code analysis of multilanguage software systems. arXiv preprint arXiv:1906.00815 (2019)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2869336"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464317"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3199"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3696193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3696193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:40Z","timestamp":1750295380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3696193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":30,"alternative-id":["10.1145\/3691620.3696193","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3696193","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}