{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T15:12:40Z","timestamp":1789139560908,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3744916.3787762","type":"proceedings-article","created":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T12:11:14Z","timestamp":1789128674000},"page":"3813-3824","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0887-5560","authenticated-orcid":false,"given":"Jikai","family":"Wang","sequence":"first","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9980-7298","authenticated-orcid":false,"given":"Ningyu","family":"He","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong SAR, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5216-933X","authenticated-orcid":false,"given":"Tianming","family":"Liu","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4328-5413","authenticated-orcid":false,"given":"Junhai","family":"Wang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1100-8633","authenticated-orcid":false,"given":"Haoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,9,11]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"2018. wwwg\/wasmdec: WebAssembly to C decompiler. https:\/\/github.com\/wwwg\/wasmdec. Accessed: June 2025."},{"key":"e_1_3_3_2_3_2","unstructured":"2021. SAC 2022 Dataset. https:\/\/figshare.com\/articles\/dataset\/SAC_2022_Dataset\/17297477?file=31953221. Accessed: July 2025."},{"key":"e_1_3_3_2_4_2","unstructured":"2023. Small LLMs may stuck in a loop. https:\/\/news.ycombinator.com\/item?id=37554095. Accessed: July 2025."},{"key":"e_1_3_3_2_5_2","unstructured":"2024. nneonneo\/ghidra-wasm-plugin: Ghidra Wasm plugin with disassembly and decompilation support. https:\/\/github.com\/nneonneo\/ghidra-wasm-plugin. Accessed: July 2025."},{"key":"e_1_3_3_2_6_2","unstructured":"2025. IDA Decompiler. https:\/\/hex-rays.com\/decompiler. Accessed: July 2025."},{"key":"e_1_3_3_2_7_2","unstructured":"2025. MemorySSA - LLVM Documentation. https:\/\/llvm.org\/docs\/MemorySSA.html. Accessed: June 2025."},{"key":"e_1_3_3_2_8_2","unstructured":"2025. NationalSecurityAgency\/ghidra: Ghidra is a software reverse engineering (SRE) framework. https:\/\/github.com\/NationalSecurityAgency\/ghidra. Accessed: July 2025."},{"key":"e_1_3_3_2_9_2","unstructured":"2025. Validation Algorithm - WebAssembly 2.0. https:\/\/webassembly.github.io\/spec\/core\/appendix\/algorithm.html. Accessed: July 2025."},{"key":"e_1_3_3_2_10_2","unstructured":"2025. WebAssembly Design Rationale. https:\/\/github.com\/WebAssembly\/design\/blob\/af8e951\/Rationale.md#why-a-stack-machine. Accessed: March 2025."},{"key":"e_1_3_3_2_11_2","unstructured":"2025. WebAssembly\/wasi-sdk: WASI-enabled WebAssembly C\/C++ toolchain. https:\/\/github.com\/WebAssembly\/wasi-sdk. Accessed: July 2025."},{"key":"e_1_3_3_2_12_2","first-page":"361","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Basque Zion\u00a0Leonahenahe","year":"2024","unstructured":"Zion\u00a0Leonahenahe Basque, Ati\u00a0Priya Bajaj, Wil Gibbs, Jude O\u2019Kain, Derron Miao, Tiffany Bao, Adam Doup\u00e9, Yan Shoshitaishvili, and Ruoyu Wang. 2024. Ahoy SAILR! There is No Need to DREAM of C: A Compiler-Aware Structuring Algorithm for Binary Decompilation. In 33rd USENIX Security Symposium (USENIX Security 24). USENIX Association, Philadelphia, PA, 361\u2013378. https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/basque"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Tiago Brito Pedro Lopes Nuno Santos and Jos\u00e9\u00a0Fragoso Santos. 2022. Wasmati: An efficient static vulnerability scanner for WebAssembly. Computers & Security 118 (2022) 102745.","DOI":"10.1016\/j.cose.2022.102745"},{"key":"e_1_3_3_2_14_2","first-page":"353","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Brumley David","year":"2013","unstructured":"David Brumley, JongHyup Lee, Edward\u00a0J. Schwartz, and Maverick Woo. 2013. Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring. In 22nd USENIX Security Symposium (USENIX Security 13). USENIX Association, Washington, D.C., 353\u2013368. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/schwartz"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_8"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/3180976"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"e_1_3_3_2_18_2","unstructured":"WebAssembly\u00a0Community Group. 2025. WebAssembly Specifications. https:\/\/webassembly.github.io\/spec\/. Accessed: March 2025."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384766"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598064"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3450138"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517776"},{"key":"e_1_3_3_2_23_2","unstructured":"JongHyup Lee Thanassis Avgerinos and David Brumley. 2011. TIE: Principled reverse engineering of types in binary programs. (2011)."},{"key":"e_1_3_3_2_24_2","first-page":"217","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything Old is New Again: Binary Security of WebAssembly. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 217\u2013234. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/lehmann"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523449"},{"key":"e_1_3_3_2_26_2","first-page":"23","volume-title":"Detection of Intrusions and Malware, and Vulnerability Assessment","author":"Musch Marius","year":"2019","unstructured":"Marius Musch, Christian Wressnegger, Martin Johns, and Konrad Rieck. 2019. New Kid on the Web: A Study on the Prevalence of WebAssembly in the Wild. In Detection of Intrusions and Malware, and Vulnerability Assessment, Roberto Perdisci, Cl\u00e9mentine Maurice, Giorgio Giacinto, and Magnus Almgren (Eds.). Springer International Publishing, Cham, 23\u201342."},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24444"},{"key":"e_1_3_3_2_28_2","unstructured":"Matthew Noonan Alexey Loginov and David Cok. 2016. Polymorphic Type Inference for Machine Code. arxiv:https:\/\/arXiv.org\/abs\/1603.05495\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/1603.05495"},{"key":"e_1_3_3_2_29_2","volume-title":"FULCRA pointer analysis framework","author":"Nystrom Erik\u00a0Matthew","year":"2005","unstructured":"Erik\u00a0Matthew Nystrom. 2005. FULCRA pointer analysis framework. University of Illinois at Urbana-Champaign."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","unstructured":"Lionel Parreaux. 2020. The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl). Proc. ACM Program. Lang. 4 ICFP Article 124 (Aug. 2020) 28\u00a0pages. 10.1145\/3409006","DOI":"10.1145\/3409006"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Andreas Rossberg Ben\u00a0L Titzer Andreas Haas Derek\u00a0L Schuff Dan Gohman Luke Wagner Alon Zakai JF Bastien and Michael Holman. 2018. Bringing the web up to speed with WebAssembly. Commun. ACM 61 12 (2018) 107\u2013115.","DOI":"10.1145\/3282510"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695020"},{"key":"e_1_3_3_2_33_2","volume-title":"NDSS","author":"Slowinska Asia","year":"2011","unstructured":"Asia Slowinska, Traian Stancescu, and Herbert Bos. 2011. Howard: A Dynamic Excavator for Reverse Engineering Data Structures.. In NDSS."},{"key":"e_1_3_3_2_34_2","unstructured":"Ian Smith. 2024. BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code. arxiv:https:\/\/arXiv.org\/abs\/2409.01841\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2409.01841"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/CLEI53233.2021.9640153"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507308"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507308"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM51674.2020.00007"},{"key":"e_1_3_3_2_39_2","unstructured":"Hanzhuo Tan Qi Luo Jing Li and Yuqun Zhang. 2024. Llm4decompile: Decompiling binary code with large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2403.05286 (2024)."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.14264\/158682"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23185"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3622781.3674177"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00051"},{"key":"e_1_3_3_2_44_2","unstructured":"Muqi Zou Hongyu Cai Hongwei Wu Zion\u00a0Leonahenahe Basque Arslan Khan Berkay Celik Antonio Bianchi Dongyan Xu et\u00a0al. 2025. D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2506.10125 (2025)."}],"event":{"name":"ICSE '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 IEEE\/ACM 48th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3744916.3787762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T14:32:24Z","timestamp":1789137144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744916.3787762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":43,"alternative-id":["10.1145\/3744916.3787762","10.1145\/3744916"],"URL":"https:\/\/doi.org\/10.1145\/3744916.3787762","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}