{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:42:31Z","timestamp":1770288151238,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP210101348"],"award-info":[{"award-number":["DP210101348"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["FT220100391"],"award-info":[{"award-number":["FT220100391"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639220","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Precise Sparse Abstract Execution via Cross-Domain Interaction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5456-3827","authenticated-orcid":false,"given":"Xiao","family":"Cheng","sequence":"first","affiliation":[{"name":"The University of New South Wales, Sydney, New South Wales, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0582-5966","authenticated-orcid":false,"given":"Jiawei","family":"Wang","sequence":"additional","affiliation":[{"name":"The University of New South Wales, Sydney, New South Wales, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9510-6574","authenticated-orcid":false,"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[{"name":"The University of New South Wales, Sydney, New South Wales, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Darknet - Open Source Neural Networks in C. https:\/\/github.com\/pjreddie\/darknet"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. MP4v2 - A C\/C++ library to create modify and read MP4 files. https:\/\/github.com\/enzo1982\/mp4v2\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. NanoMQ - An ultra-lightweight and blazing-fast MQTT broker for IoT edge. https:\/\/github.com\/emqx\/nanomq"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Redis - The open source in-memory data store used by millions of developers as a database cache streaming engine and message broker. https:\/\/github.com\/redis\/redis\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. RIOT - The friendly OS for IoT. https:\/\/github.com\/RIOT-OS\/RIOT"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. Teeworlds - A retro multiplayer shooter. https:\/\/teeworlds.com\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. Tmux - tmux source code. https:\/\/github.com\/tmux\/tmux"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. YAJL - A fast streaming JSON parsing library in C. https:\/\/github.com\/lloyd\/yajl"},{"key":"e_1_3_2_1_9_1","unstructured":"Roberto Amadini Graeme Gange Peter Schachte Harald S\u00f8ndergaard and Peter J Stuckey. 2020. Abstract interpretation symbolic execution and constraints. In Recent Developments in the Design and Implementation of Programming Languages. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0215-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"e_1_3_2_1_13_1","volume-title":"Hash Consed Points-To Sets. In Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17--19, 2021, Proceedings","author":"Barbar Mohamad","year":"2021","unstructured":"Mohamad Barbar and Yulei Sui. 2021. Hash Consed Points-To Sets. In Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17--19, 2021, Proceedings (Chicago, IL, USA). Springer-Verlag, Berlin, Heidelberg, 25--48."},{"key":"e_1_3_2_1_14_1","volume-title":"Object Versioning for Flow-Sensitive Pointer Analysis. In 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '21)","author":"Barbar Mohamad","year":"2021","unstructured":"Mohamad Barbar, Yulei Sui, and Shiping Chen. 2021. Object Versioning for Flow-Sensitive Pointer Analysis. In 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '21). IEEE Computer Society, USA, 222--235."},{"key":"e_1_3_2_1_15_1","volume-title":"Formal Methods in Programming and Their Applications, Dines Bj\u00f8rner, Manfred Broy, and Igor V","author":"Bourdoncle Fran\u00e7ois","unstructured":"Fran\u00e7ois Bourdoncle. 1993. Efficient chaotic iteration strategies with widenings. In Formal Methods in Programming and Their Applications, Dines Bj\u00f8rner, Manfred Broy, and Igor V. Pottosin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 128--141."},{"key":"e_1_3_2_1_16_1","volume-title":"IKOS: A Framework for Static Analysis Based on Abstract Interpretation","author":"Brat Guillaume","year":"2014","unstructured":"Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet. 2014. IKOS: A Framework for Static Analysis Based on Abstract Interpretation. In Software Engineering and Formal Methods, Dimitra Giannakopoulou and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 271--277."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, 209--224."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3436877"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534371"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_1_21_1","volume-title":"A survey on product operators in abstract interpretation. arXiv preprint arXiv:1309.5146","author":"Cortesi Agostino","year":"2013","unstructured":"Agostino Cortesi, Giulia Costantini, and Pietro Ferrara. 2013. A survey on product operators in abstract interpretation. arXiv preprint arXiv:1309.5146 (2013)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_23_1","volume-title":"Advances in Computer Science - ASIAN","author":"Cousot Patrick","year":"2006","unstructured":"Patrick Cousot, Radhia Cousot, J\u00e9r\u00f4me Feret, Laurent Mauborgne, Antoine Min\u00e9, David Monniaux, and Xavier Rival. 2007. Combination of Abstractions in the ASTR\u00c9E Static Analyzer. In Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, Mitsu Okada and Ichiro Satoh (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 272--300."},{"key":"e_1_3_2_1_24_1","volume-title":"Foundations of Software Science and Computational Structures","author":"Cousot Patrick","unstructured":"Patrick Cousot, Radhia Cousot, and Laurent Mauborgne. 2011. The Reduced Product of Abstract Domains and the Combination of Decision Procedures. In Foundations of Software Science and Computational Structures, Martin Hofmann (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 456--472."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 42 (jan","author":"Cousot Patrick","year":"2019","unstructured":"Patrick Cousot, Roberto Giacobazzi, and Francesco Ranzato. 2019. A2I: Abstract2 Interpretation. Proc. ACM Program. Lang. 3, POPL, Article 42 (jan 2019), 31 pages."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_27_1","volume-title":"Cppcheck: A tool for static C\/C++ code analysis","year":"2021","unstructured":"Cppcheck. 2021. Cppcheck: A tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/."},{"key":"e_1_3_2_1_28_1","unstructured":"CWE-121 2023. CWE-121: Stack-based Buffer Overflow. https:\/\/cwe.mitre.org\/data\/definitions\/121.html."},{"key":"e_1_3_2_1_29_1","unstructured":"CWE-122 2023. CWE-122: Heap-based Buffer Overflow. https:\/\/cwe.mitre.org\/data\/definitions\/122.html."},{"key":"e_1_3_2_1_30_1","unstructured":"CWE-126 2023. CWE-126: Buffer Over-read. https:\/\/cwe.mitre.org\/data\/definitions\/126.html."},{"key":"e_1_3_2_1_31_1","unstructured":"CWE-476 2023. CWE-476: NULL Pointer Dereference. https:\/\/cwe.mitre.org\/data\/definitions\/476.html."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159880"},{"key":"e_1_3_2_1_35_1","volume-title":"Refining and compressing abstract domains","author":"Giacobazzi Roberto","unstructured":"Roberto Giacobazzi and Francesco Ranzato. 1997. Refining and compressing abstract domains. In Automata, Languages and Programming, Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 771--781."},{"key":"e_1_3_2_1_36_1","volume-title":"Implementing functional languages with fast equality, sets and maps: an exercise in hash consing. Journ\u00e9es Francophones des Langages Applicatifs (JFLA'93)","author":"Goubault Jean","year":"1994","unstructured":"Jean Goubault. 1994. Implementing functional languages with fast equality, sets and maps: an exercise in hash consing. Journ\u00e9es Francophones des Langages Applicatifs (JFLA'93) (1994), 222--238."},{"key":"e_1_3_2_1_37_1","volume-title":"CGO '11","author":"Hardekopf B.","year":"2011","unstructured":"B. Hardekopf and C. Lin. 2011. Flow-sensitive pointer analysis for millions of lines of code. CGO '11 (2011), 289--298."},{"key":"e_1_3_2_1_38_1","unstructured":"Infer. 2021. Facebook Infer: a tool to detect bugs in Java and C\/C++\/Objective-C code. https:\/\/fbinfer.com\/."},{"key":"e_1_3_2_1_39_1","volume-title":"International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86","author":"Lattner C.","unstructured":"C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. In International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498718"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926389"},{"key":"e_1_3_2_1_42_1","volume-title":"Sparse Dataflow Analysis with Pointers and Reachability","author":"Madsen Magnus","unstructured":"Magnus Madsen and Anders M\u00f8ller. 2014. Sparse Dataflow Analysis with Pointers and Reachability. In Static Analysis, Markus M\u00fcller-Olm and Helmut Seidl (Eds.). Springer International Publishing, Cham, 201--218."},{"key":"e_1_3_2_1_43_1","volume-title":"Trace Partitioning in Abstract Interpretation Based Static Analyzers","author":"Mauborgne Laurent","unstructured":"Laurent Mauborgne and Xavier Rival. 2005. Trace Partitioning in Abstract Interpretation Based Static Analyzers. In Programming Languages and Systems, Mooly Sagiv (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 5--20."},{"key":"e_1_3_2_1_44_1","volume-title":"The octagon abstract domain. Higher-Order and Symbolic Computation 19, 1 (01","author":"Min\u00e9 Antoine","year":"2006","unstructured":"Antoine Min\u00e9. 2006. The octagon abstract domain. Higher-Order and Symbolic Computation 19, 1 (01 Mar 2006), 31--100."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_46_1","unstructured":"NIST 2023. NIST datasets. https:\/\/samate.nist.gov\/SARD\/test-suites\/116."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2590811"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254092"},{"key":"e_1_3_2_1_49_1","unstructured":"Hakjoo Oh Kihong Heo Wonchan Lee Woosuk Lee and Kwangkeun Yi. 2012. The Sparrow static analyzer. https:\/\/opam.ocaml.org\/packages\/sparrow\/."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179497"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302516.3307349"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1290520.1290524"},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"John","unstructured":"John H. Reif and Harry R. Lewis. 1977. Symbolic Evaluation and the Global Value Graph. In Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Los Angeles, California) (POPL '77). Association for Computing Machinery, New York, NY, USA, 104--118."},{"key":"e_1_3_2_1_54_1","volume-title":"Abstract interpretation. (Feb.--May","author":"Cousot P.","year":"2005","unstructured":"P. Cousot. 2005. Abstract interpretation. (Feb.--May 2005). MIT course 16.399, http:\/\/web.mit.edu\/16.399\/www\/."},{"key":"e_1_3_2_1_55_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.)","author":"Schubert Philipp Dominik","unstructured":"Philipp Dominik Schubert, Ben Hermann, and Eric Bodden. 2019. PhASAR: An Inter-procedural Static Analysis Framework for C\/C++. In Tools and Algorithms for the Construction and Analysis of Systems, Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.). Springer International Publishing, Cham, 393--410."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192418"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454086"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2738000"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428301"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2302311"},{"key":"e_1_3_2_1_63_1","volume-title":"SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. Programming Languages and Systems (APLAS '11)","author":"Sui Yulei","year":"2011","unstructured":"Yulei Sui, Sen Ye, Jingling Xue, and Pen-Chung Yew. 2011. SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. Programming Languages and Systems (APLAS '11) (2011), 155--171."},{"key":"e_1_3_2_1_64_1","volume-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering","author":"Veileborg Oskar Haarklou","year":"2023","unstructured":"Oskar Haarklou Veileborg, Georgian-Vlad Saioc, and Anders M\u00f8ller. 2023. Detecting Blocking Errors in Go Programs Using Localized Abstract Interpretation. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering (Rochester, MI, USA) (ASE '22). Association for Computing Machinery, New York, NY, USA, Article 32, 12 pages."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_66_1","volume-title":"Database-Backed Program Analysis for Scalable Error Propagation. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","volume":"1","author":"Weiss Cathrin","year":"2015","unstructured":"Cathrin Weiss, Cindy Rubio-Gonz\u00e1lez, and Ben Liblit. 2015. Database-Backed Program Analysis for Scalable Error Propagation. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, Vol. 1. 586--597."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485495"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772985"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303972"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:13Z","timestamp":1750286953000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":68,"alternative-id":["10.1145\/3597503.3639220","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639220","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}