{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:31Z","timestamp":1785340831353,"version":"3.55.0"},"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\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62472456"],"award-info":[{"award-number":["62472456"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Provincial Key Laboratory of Information Security Technology","award":["2023B1212060026"],"award-info":[{"award-number":["2023B1212060026"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3794763.3794802","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"97-109","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LuaReSym: Recovering Variable Liveness Ranges in Stripped Lua Bytecode via Multi-Stage Static Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-1474-4324","authenticated-orcid":false,"given":"Weilong","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9937-5774","authenticated-orcid":false,"given":"Ruizhi","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8264-033X","authenticated-orcid":false,"given":"Yabo","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1884-5340","authenticated-orcid":false,"given":"Jiakun","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4376-3915","authenticated-orcid":false,"given":"Yuqing","family":"Shao","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, East China University of Science and Technology, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2087-2853","authenticated-orcid":false,"given":"Shuyuan","family":"Jin","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, Guangdong, China and Guangdong Provincial Key Laboratory of\u00a0Information Security Technology, Guangzhou, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_1_2_2","volume-title":"Compilers: Principles, Techniques, and Tools (2nd ed.)","author":"Aho Alfred\u00a0V.","year":"2006","unstructured":"Alfred\u00a0V. Aho, Monica\u00a0S. Lam, Ravi Sethi, and Jeffrey\u00a0D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd ed.). Addison-Wesley."},{"key":"e_1_3_3_1_3_2","unstructured":"Fiorella Artuso Giuseppe Antonio\u00a0Di Luna Luca Massarelli and Leonardo Querzoni. 2019. Function Naming in Stripped Binaries Using Neural Networks. CoRR abs\/1912.07946 (2019). arXiv:https:\/\/arXiv.org\/abs\/1912.07946http:\/\/arxiv.org\/abs\/1912.07946"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Brenda\u00a0S. Baker. 1977. An Algorithm for Structuring Flowgraphs. J. ACM 24 1 (1977) 98\u2013120. 10.1145\/321992.321999","DOI":"10.1145\/321992.321999"},{"key":"e_1_3_3_1_5_2","volume-title":"33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024","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 2024, Philadelphia, PA, USA, August 14-16, 2024, Davide Balzarotti and Wenyuan Xu (Eds.). USENIX Association. https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/basque"},{"key":"e_1_3_3_1_6_2","first-page":"4327","volume-title":"31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022","author":"Chen Qibin","year":"2022","unstructured":"Qibin Chen, Jeremy Lacomis, Edward\u00a0J. Schwartz, Claire Le Goues, Graham Neubig, and Bogdan Vasilescu. 2022. Augmenting Decompiler Output with Learned Variable Names and Types. In 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, Kevin R.\u00a0B. Butler and Kurt Thomas (Eds.). USENIX Association, 4327\u20134343. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/chen-qibin"},{"key":"e_1_3_3_1_7_2","volume-title":"Reverse compilation techniques","author":"Cifuentes Cristina","year":"1994","unstructured":"Cristina Cifuentes. 1994. Reverse compilation techniques. Queensland University of Technology, Brisbane. https:\/\/rgaucher.info\/pub\/decompilation_thesis.pdf"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61053-7_55"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Cristina Cifuentes and K.\u00a0John Gough. 1995. Decompilation of Binary Programs. Softw. Pract. Exp. 25 7 (1995) 811\u2013829. 10.1002\/SPE.4380250706","DOI":"10.1002\/SPE.4380250706"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62105-0_12"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2017.38"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384766"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_3_1_15_2","unstructured":"Hex-Rays. 2025. IDA Pro: Powerful disassembler decompiler and a versatile debugger. https:\/\/hex-rays.com\/ida-pro Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_16_2","unstructured":"IntelliJ IDEA. 2025. Fernflower: A decompiler from Java bytecode to Java.https:\/\/github.com\/JetBrains\/fernflower Accessed: 2025-10-06."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Roberto Ierusalimschy Luiz\u00a0Henrique De\u00a0Figueiredo and Waldemar Celes. 2018. A look at the design of Lua. Commun. ACM 61 11 (Oct. 2018) 114\u2013123. 10.1145\/3186277","DOI":"10.1145\/3186277"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196330"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2014.7031344"},{"key":"e_1_3_3_1_20_2","unstructured":"Miroslav Jan\u00ed\u010dek. 2016. Rembulan: A Lua 5.3 Implementation in Pure Java. https:\/\/github.com\/mjanicek\/rembulan Accessed: 2025-10-06."},{"key":"e_1_3_3_1_21_2","unstructured":"Denis Kocetkov Raymond Li Loubna\u00a0Ben Allal Jia Li Chenghao Mou Carlos\u00a0Mu\u00f1oz Ferrandis Yacine Jernite Margaret Mitchell Sean Hughes Thomas Wolf Dzmitry Bahdanau Leandro von Werra and Harm de Vries. 2022. The Stack: 3 TB of permissively licensed source code. arxiv:https:\/\/arXiv.org\/abs\/2211.15533\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2211.15533"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Xixing Li Qiang Wei Zehui Wu and Wei Guo. 2023. Finding Taint-Style Vulnerabilities in Lua Application of IoT Firmware with Progressive Static Analysis. Applied Sciences 13 17 (2023). 10.3390\/app13179710","DOI":"10.3390\/app13179710"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Chenke Luo Jiang Ming Jianming Fu Guojun Peng and Zhetao Li. 2023. Reverse Engineering of Obfuscated Lua Bytecode via Interpreter Semantics Testing. IEEE Transactions on Information Forensics and Security 18 (2023) 3891\u20133905. 10.1109\/TIFS.2023.3289254","DOI":"10.1109\/TIFS.2023.3289254"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Andr\u00e9\u00a0Murbach Maidl Fabio Mascarenhas and Roberto Ierusalimschy. 2015. A formalization of typed lua. SIGPLAN Not. 51 2 (Oct. 2015) 13\u201325. 10.1145\/2936313.2816709","DOI":"10.1145\/2936313.2816709"},{"key":"e_1_3_3_1_25_2","unstructured":"Peter Melnichenko. 2018. Luacheck: A Tool for Linting and Static Analysis of Lua Code. GitHub Repository. https:\/\/github.com\/mpeterv\/luacheck Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2001.914984"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680301"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00152"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93411-2_15"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3414080.3414093"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","unstructured":"Mallku Soldevila Beta Ziliani and Bruno Silvestre. 2022. From Specification to Testing: Semantics Engineering for Lua 5.2. J. Autom. Reason. 66 4 (2022) 905\u2013952. 10.1007\/S10817-022-09638-Y","DOI":"10.1007\/S10817-022-09638-Y"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133841.3133848"},{"key":"e_1_3_3_1_34_2","unstructured":"Tehtmi. 2025. unluac: A Decompiler for Lua 5.x. SourceForge. https:\/\/sourceforge.net\/projects\/unluac\/ Accessed: Oct. 6 2025."},{"key":"e_1_3_3_1_35_2","unstructured":"Tencent. 2022. TscanCode: A fast and accurate static analysis solution for C\/C++ C# Lua codes. GitHub Repository. https:\/\/github.com\/Tencent\/TscanCode Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_36_2","volume-title":"Static single assignment for decompilation","author":"Van\u00a0Emmerik Mike","year":"2007","unstructured":"Mike Van\u00a0Emmerik. 2007. Static single assignment for decompilation. University of Queensland."},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106289"},{"key":"e_1_3_3_1_38_2","unstructured":"Vector35. 2025. BinaryNinja. https:\/\/binary.ninja\/ Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_39_2","unstructured":"Viruscamp. 2016. LuaDec: a Lua decompiler for lua 5.1 and experimental for lua 5.2 and 5.3. GitHub Repository. https:\/\/github.com\/viruscamp\/luadec Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_40_2","unstructured":"Wikipedia contributors. 2025. List of Applications Using Lua. Wikipedia. https:\/\/en.wikipedia.org\/wiki\/List_of_applications_using_Lua Accessed: Oct. 6 2025.."},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","unstructured":"Jiahui Xiang Lirong Fu Tong Ye Peiyu Liu Huan Le Liming Zhu and Wenhai Wang. 2025. LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices. IEEE Internet of Things Journal 12 5 (2025) 5970\u20135984. 10.1109\/JIOT.2024.3490661","DOI":"10.1109\/JIOT.2024.3490661"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.240276"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23185"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00051"}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:20:32Z","timestamp":1785338432000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":43,"alternative-id":["10.1145\/3794763.3794802","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794802","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}