{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T19:44:51Z","timestamp":1784403891460,"version":"3.55.0"},"reference-count":80,"publisher":"Association for Computing Machinery (ACM)","issue":"ISSTA","funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFB3307203"],"award-info":[{"award-number":["2023YFB3307203"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100023279","name":"Alliance of International Science Organizations","doi-asserted-by":"publisher","award":["ANSO-CR-KP-2022-03"],"award-info":[{"award-number":["ANSO-CR-KP-2022-03"]}],"id":[{"id":"10.13039\/501100023279","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,22]]},"abstract":"<jats:p>Smart contract vulnerability detection is a critical challenge in the rapidly evolving blockchain landscape. Existing vulnerability detection methods face two main issues: (1) Existing datasets lack comprehensiveness and sufficient quality, with limited vulnerability type coverage and insufficient distinction between high-quality and low-quality explanations for preference learning. (2) Large language models (LLMs) often struggle with accurately interpreting specific concepts in smart contract security. Through our empirical analysis, we found that even after continual pre-training and supervised fine-tuning, LLMs still exhibit limitations in precisely understanding the execution order of state changes in smart contracts, which can lead to incorrect vulnerability explanations despite making correct detection decisions. These limitations result in poor detection performance, leading to potentially severe financial losses. To address these challenges, we propose Smart-LLaMA-DPO, an advanced detection method based on the LLaMA-3.1-8B. First, we construct a comprehensive dataset covering four vulnerability types and machine-unauditable vulnerabilities, containing labels, detailed explanations, and precise vulnerability locations for Supervised Fine-Tuning (SFT), as well as paired high-quality and low-quality outputs for Direct Preference Optimization (DPO). Second, we perform continual pre-training using large-scale smart contract code to enhance the LLM's understanding of specific security practices in smart contracts. Futhermore, we conduct supervised fine-tuning with our comprehensive dataset. Finally, we apply DPO, which leverages human feedback to improve the quality of generated explanations. Smart-LLaMA-DPO utilizes a specially designed loss function that encourages the LLM to increase the probability of preferred outputs while decreasing the probability of non-preferred outputs, thereby enhancing the LLM's ability to generate high-quality explanations. We evaluate Smart-LLaMA-DPO on four major vulnerability types: reentrancy, timestamp dependence, integer overflow\/underflow, and delegatecall, as well as machine-unauditable vulnerabilities. Our method significantly outperforms state-of-the-art baselines, with average improvements of 10.43% in F1 score and 7.87% in accuracy. Moreover, both LLM evaluation and human evaluation demonstrate the superior quality of explanations generated by Smart-LLaMA-DPO in terms of correctness, thoroughness, and clarity.<\/jats:p>","DOI":"10.1145\/3728878","type":"journal-article","created":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T10:52:56Z","timestamp":1750589576000},"page":"182-205","source":"Crossref","is-referenced-by-count":22,"title":["Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3134-3746","authenticated-orcid":false,"given":"Lei","family":"Yu","sequence":"first","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"},{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9652-9097","authenticated-orcid":false,"given":"Zhirong","family":"Huang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"},{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9607-5538","authenticated-orcid":false,"given":"Hang","family":"Yuan","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1407-8446","authenticated-orcid":false,"given":"Shiqi","family":"Cheng","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8364-6525","authenticated-orcid":false,"given":"Li","family":"Yang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3830-8786","authenticated-orcid":false,"given":"Fengjun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6212-9721","authenticated-orcid":false,"given":"Chenjie","family":"Shen","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6028-4186","authenticated-orcid":false,"given":"Jiajia","family":"Ma","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5475-3815","authenticated-orcid":false,"given":"Jingyuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"},{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5453-0316","authenticated-orcid":false,"given":"Junyi","family":"Lu","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0753-7164","authenticated-orcid":false,"given":"Chun","family":"Zuo","sequence":"additional","affiliation":[{"name":"Sinosoft Company Limited, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","unstructured":"2025. models of Smart-LLaMA-DPO. https:\/\/doi.org\/10.5281\/zenodo.15255329 10.5281\/zenodo.15255329","DOI":"10.5281\/zenodo.15255329"},{"key":"e_1_2_1_2_1","unstructured":"2025. Smart-LLaMA-DPO. https:\/\/gitlab.com\/programmer-of-nansijie\/smart-llama-dpo"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Amr Abo-eleneen Ahammed Palliyali and Cagatay Catal. 2023. The role of Reinforcement Learning in software testing. Information and Software Technology 107325.","DOI":"10.1016\/j.infsof.2023.107325"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Maher Alharby and Aad Van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372.","DOI":"10.5121\/csit.2017.71011"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359735"},{"key":"e_1_2_1_6_1","unstructured":"Kamel Alrashedy and Ahmed Binjahlan. 2023. Language Models are Better Bug Detector Through Code-Pair Classification. arXiv preprint arXiv:2311.07957."},{"key":"e_1_2_1_7_1","unstructured":"Anthropic. 2024. Claude-3.5-Sonnet. https:\/\/www.anthropic.com\/claude"},{"key":"e_1_2_1_8_1","unstructured":"The Solidity Authors. 2024. Solidity Documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.28\/ Online documentation"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2024.3452595","article-title":"RLocator: Reinforcement learning for bug localization","author":"Chakraborty Partha","year":"2024","unstructured":"Partha Chakraborty, Mahmoud Alfadel, and Meiyappan Nagappan. 2024. RLocator: Reinforcement learning for bug localization. IEEE Transactions on Software Engineering.","journal-title":"IEEE Transactions on Software Engineering."},{"key":"e_1_2_1_11_1","unstructured":"Chong Chen Jianzhong Su Jiachi Chen Yanlin Wang Tingting Bi Yanli Wang Xingwei Lin Ting Chen and Zibin Zheng. 2023. When chatgpt meets smart contract vulnerability detection: How far are we? arXiv preprint arXiv:2309.05520."},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3391195","article-title":"A survey on ethereum systems security: Vulnerabilities, attacks, and defenses","volume":"53","author":"Chen Huashan","year":"2020","unstructured":"Huashan Chen, Marcus Pendleton, Laurent Njilla, and Shouhuai Xu. 2020. A survey on ethereum systems security: Vulnerabilities, attacks, and defenses. ACM Computing Surveys (CSUR), 53, 3 (2020), 1\u201343.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Davide Corradini Zeno Montolli Michele Pasqua and Mariano Ceccato. 2024. DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning. arXiv preprint arXiv:2408.08594.","DOI":"10.1145\/3691620.3695511"},{"key":"e_1_2_1_15_1","unstructured":"Isaac David Liyi Zhou Kaihua Qin Dawn Song Lorenzo Cavallaro and Arthur Gervais. 2023. Do you still need a manual smart contract audit? arXiv preprint arXiv:2306.12338."},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Vikram Dhillon David Metcalf Max Hooper Vikram Dhillon David Metcalf and Max Hooper. 2017. The DAO hacked. blockchain enabled applications: Understand the blockchain Ecosystem and How to Make it work for you 67\u201378.","DOI":"10.1007\/978-1-4842-3081-7_6"},{"key":"e_1_2_1_17_1","unstructured":"Abhimanyu Dubey Abhinav Jauhri Abhinav Pandey Abhishek Kadian Ahmad Al-Dahle Aiesha Letman Akhil Mathur Alan Schelten Amy Yang and Angela Fan. 2024. The llama 3 herd of models. arXiv preprint arXiv:2407.21783."},{"key":"e_1_2_1_18_1","unstructured":"Ethereum Foundation. 2024. Block and Transaction Properties. https:\/\/docs.soliditylang.org\/en\/latest\/units-and-global-variables.html#block-and-transaction-properties"},{"key":"e_1_2_1_19_1","unstructured":"Ethereum Foundation. 2024. Security Considerations - Sending and Receiving Ether. https:\/\/docs.soliditylang.org\/en\/latest\/security-considerations.html#sending-and-receiving-ether"},{"key":"e_1_2_1_20_1","unstructured":"Ethereum Foundation. 2024. Solidity by Example - Delegatecall. https:\/\/solidity-by-example.org\/delegatecall\/"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3415298"},{"key":"e_1_2_1_23_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 23\u201326","author":"Gao Jianbo","year":"2019","unstructured":"Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, and Zhong Chen. 2019. Easyflow: Keep ethereum away from overflow. In 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 23\u201326."},{"key":"e_1_2_1_24_1","volume-title":"2019 IEEE International Conference on Software Maintenance and Evolution (ICSME). 394\u2013397","author":"Gao Zhipeng","year":"2019","unstructured":"Zhipeng Gao, Vinoj Jayasundara, Lingxiao Jiang, Xin Xia, David Lo, and John Grundy. 2019. Smartembed: A tool for clone and bug detection in smart contracts through structural code embedding. In 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME). 394\u2013397."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194119"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2020.102857"},{"key":"e_1_2_1_27_1","volume-title":"Selim Furkan Tekin, and Ling Liu","author":"Hu Sihao","year":"2023","unstructured":"Sihao Hu, Tiansheng Huang, Fatih \u0130lhan, Selim Furkan Tekin, and Ling Liu. 2023. Large language model-powered smart contract vulnerability detection: New perspectives. arXiv preprint arXiv:2310.01152."},{"key":"e_1_2_1_28_1","volume-title":"Likert scale: Explored and explained. British journal of applied science & technology, 7, 4","author":"Joshi Ankur","year":"2015","unstructured":"Ankur Joshi, Saket Kale, Satish Chandel, and D Kumar Pal. 2015. Likert scale: Explored and explained. British journal of applied science & technology, 7, 4 (2015), 396\u2013403."},{"key":"e_1_2_1_29_1","volume-title":"2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 446\u2013458","author":"Kim Myeongsoo","year":"2023","unstructured":"Myeongsoo Kim, Saurabh Sinha, and Alessandro Orso. 2023. Adaptive rest api testing with reinforcement learning. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 446\u2013458."},{"key":"e_1_2_1_30_1","unstructured":"Thomas N Kipf and Max Welling. 2016. Semi-supervised classification with graph convolutional networks. arXiv preprint arXiv:1609.02907."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the ACM on Software Engineering, 1, FSE","author":"Li Bolun","year":"2024","unstructured":"Bolun Li, Zhihong Sun, Tao Huang, Hongyu Zhang, Yao Wan, Ge Li, Zhi Jin, and Chen Lyu. 2024. IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion. Proceedings of the ACM on Software Engineering, 1, FSE (2024), 182\u2013203."},{"key":"e_1_2_1_32_1","unstructured":"Zhenguang Liu Peng Qian Xiang Wang Lei Zhu Qinming He and Shouling Ji. 2021. Smart contract vulnerability detection: from pure neural network to interpretable graph feature and expert pattern fusion. arXiv preprint arXiv:2106.09282."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3237370"},{"key":"e_1_2_1_34_1","unstructured":"Ilya Loshchilov and Frank Hutter. 2017. Decoupled weight decay regularization. arXiv preprint arXiv:1711.05101."},{"key":"e_1_2_1_35_1","volume-title":"2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 647\u2013658","author":"Lu Junyi","year":"2023","unstructured":"Junyi Lu, Lei Yu, Xiaojia Li, Li Yang, and Chun Zuo. 2023. Llama-reviewer: Advancing code review automation with large language models through parameter-efficient fine-tuning. In 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 647\u2013658."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Wei Ma Daoyuan Wu Yuqiang Sun Tianwen Wang Shangqing Liu Jian Zhang Yue Xue and Yang Liu. 2024. Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications. arXiv preprint arXiv:2403.16073.","DOI":"10.1109\/ICSE55347.2025.00027"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.4018\/JCIT.2019010102"},{"key":"e_1_2_1_39_1","unstructured":"Mistral. 2024. Large Enough | Mistral AI | Frontier AI in your hands. https:\/\/mistral.ai\/news\/mistral-large-2407\/"},{"key":"e_1_2_1_40_1","unstructured":"B Mueller. 2017. Mythril-Reversing and bug hunting framework for the Ethereum blockchain."},{"key":"e_1_2_1_41_1","article-title":"Towards Efficient Fine-tuning of Language Models with Organizational Data for Automated Software Review","author":"Nashaat Mona","year":"2024","unstructured":"Mona Nashaat and James Miller. 2024. Towards Efficient Fine-tuning of Language Models with Organizational Data for Automated Software Review. IEEE Transactions on Software Engineering.","journal-title":"IEEE Transactions on Software Engineering."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_2_1_43_1","volume-title":"Foutse Khomh, and Houssem Ben Braiek.","author":"Nikanjam Amin","year":"2022","unstructured":"Amin Nikanjam, Mohammad Mehdi Morovati, Foutse Khomh, and Houssem Ben Braiek. 2022. Faults in deep reinforcement learning programs: a taxonomy and a detection approach. Automated software engineering, 29, 1 (2022), 8."},{"key":"e_1_2_1_44_1","unstructured":"OpenAI. 2024. GPT-4-Turbo. https:\/\/platform.openai.com\/docs\/models\/gpt-4-and-gpt-4-turbo"},{"key":"e_1_2_1_45_1","unstructured":"OWASP Foundation. 2023. OWASP Smart Contract Top 10. https:\/\/owasp.org\/www-project-smart-contract-top-10\/ Accessed: 2024-12-04"},{"key":"e_1_2_1_46_1","unstructured":"Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph Liu and Robin Doss. 2019. Security analysis methods on ethereum smart contract vulnerabilities: a survey. arXiv preprint arXiv:1908.08605."},{"key":"e_1_2_1_47_1","volume-title":"Solhint: A linting utility for Solidity code. https:\/\/github.com\/protofire\/solhint GitHub repository with over 1000 stars, Used by over 54,000 repositories","year":"2020","unstructured":"Protofire. 2020. Solhint: A linting utility for Solidity code. https:\/\/github.com\/protofire\/solhint GitHub repository with over 1000 stars, Used by over 54,000 repositories"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the ACM Web Conference","author":"Qian Peng","year":"2023","unstructured":"Peng Qian, Zhenguang Liu, Yifang Yin, and Qinming He. 2023. Cross-modality mutual learning for enhancing smart contract vulnerability detection on bytecode. In Proceedings of the ACM Web Conference 2023. 2220\u20132229."},{"key":"e_1_2_1_50_1","unstructured":"Qwen. 2024. Qwen2.5: A Party of Foundation Models. https:\/\/qwenlm.github.io\/blog\/qwen2.5\/"},{"key":"e_1_2_1_51_1","first-page":"53728","article-title":"Direct preference optimization: Your language model is secretly a reward model","volume":"36","author":"Rafailov Rafael","year":"2023","unstructured":"Rafael Rafailov, Archit Sharma, Eric Mitchell, Christopher D Manning, Stefano Ermon, and Chelsea Finn. 2023. Direct preference optimization: Your language model is secretly a reward model. Advances in Neural Information Processing Systems, 36 (2023), 53728\u201353741.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394486.3406703"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380399"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502868"},{"key":"e_1_2_1_55_1","volume-title":"2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 683\u2013693","author":"Storhaug Andr\u00e9","year":"2023","unstructured":"Andr\u00e9 Storhaug, Jingyue Li, and Tianyuan Hu. 2023. Efficient avoidance of vulnerabilities in auto-completed smart contract code using vulnerability-constrained decoding. In 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 683\u2013693."},{"key":"e_1_2_1_56_1","unstructured":"Yuqiang Sun Daoyuan Wu Yue Xue Han Liu Wei Ma Lyuye Zhang Yang Liu and Yingjiu Li. 2024. Llm4vuln: A unified evaluation framework for decoupling and enhancing llms\u2019 vulnerability reasoning. arXiv preprint arXiv:2401.16185."},{"key":"e_1_2_1_57_1","volume-title":"Proc. IEEE\/ACM ICSE.","author":"Sun Yuqiang","year":"2024","unstructured":"Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, and Yang Liu. 2024. GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. Proc. IEEE\/ACM ICSE."},{"key":"e_1_2_1_58_1","volume-title":"Blockchain: Blueprint for a new economy. \" O\u2019Reilly Media","author":"Swan Melanie","year":"2015","unstructured":"Melanie Swan. 2015. Blockchain: Blueprint for a new economy. \" O\u2019Reilly Media, Inc.\"."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_2_1_63_1","unstructured":"Nuno Veloso. 2021. Conkas. https:\/\/github.com\/nveloso\/conkas GitHub repository"},{"key":"e_1_2_1_64_1","volume-title":"2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 748\u2013760","author":"Wang Chong","year":"2023","unstructured":"Chong Wang, Yiling Lou, Junwei Liu, and Xin Peng. 2023. Generating variable explanations via zero-shot prompt learning. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 748\u2013760."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the 40th International Conference on Software Engineering. 1066\u20131077","author":"Wang Pengcheng","year":"2018","unstructured":"Pengcheng Wang, Jeffrey Svajlenko, Yanzhao Wu, Yun Xu, and Chanchal K Roy. 2018. CCAligner: a token based large-gap clone detector. In Proceedings of the 40th International Conference on Software Engineering. 1066\u20131077."},{"key":"e_1_2_1_66_1","volume-title":"Aakanksha Chowdhery, and Denny Zhou.","author":"Wang Xuezhi","year":"2022","unstructured":"Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc Le, Ed Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. 2022. Self-consistency improves chain of thought reasoning in language models. arXiv preprint arXiv:2203.11171."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"e_1_2_1_68_1","volume-title":"Rlcoder: Reinforcement learning for repository-level code completion. arXiv preprint arXiv:2407.19487.","author":"Wang Yanlin","year":"2024","unstructured":"Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen, Ruikai Zhang, Yuchi Ma, and Zibin Zheng. 2024. Rlcoder: Reinforcement learning for repository-level code completion. arXiv preprint arXiv:2407.19487."},{"key":"e_1_2_1_69_1","unstructured":"Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang and Meng Li. 2024. Leveraging Fine-Tuned Language Models for Efficient and Accurate Smart Contract Auditing. arXiv preprint arXiv:2410.13918."},{"key":"e_1_2_1_70_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151, 2014 (2014), 1\u201332."},{"key":"e_1_2_1_71_1","volume-title":"2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE). 378\u2013389","author":"Wu Hongjun","year":"2021","unstructured":"Hongjun Wu, Zhuo Zhang, Shangwen Wang, Yan Lei, Bo Lin, Yihao Qin, Haoyu Zhang, and Xiaoguang Mao. 2021. Peculiar: Smart contract vulnerability detection based on crucial data flow graph and pre-training techniques. In 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE). 378\u2013389."},{"key":"e_1_2_1_72_1","unstructured":"An Yang Baosong Yang Binyuan Hui Bo Zheng Bowen Yu Chang Zhou Chengpeng Li Chengyuan Li Dayiheng Liu and Fei Huang. 2024. Qwen2 technical report. arXiv preprint arXiv:2407.10671."},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Lei Yu Shiqi Chen Hang Yuan Peng Wang Zhirong Huang Jingyuan Zhang Chenjie Shen Fengjun Zhang Li Yang and Jiajia Ma. 2024. Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation. arXiv preprint arXiv:2411.06221.","DOI":"10.1145\/3728878"},{"key":"e_1_2_1_74_1","volume-title":"PSCVFinder: A Prompt-Tuning Based Framework for Smart Contract Vulnerability Detection. In 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 556\u2013567","author":"Yu Lei","year":"2023","unstructured":"Lei Yu, Junyi Lu, Xianglong Liu, Li Yang, Fengjun Zhang, and Jiajia Ma. 2023. PSCVFinder: A Prompt-Tuning Based Framework for Smart Contract Vulnerability Detection. In 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE). 556\u2013567."},{"key":"e_1_2_1_75_1","volume-title":"2023 International Joint Conference on Neural Networks (IJCNN). 1\u20138.","author":"Yu Lei","year":"2023","unstructured":"Lei Yu, Fengjun Zhang, Jiajia Ma, Li Yang, Yuanzhe Yang, and Wei Jia. 2023. Who Are the Money Launderers? Money Laundering Detection on Blockchain via Mutual Learning-Based Graph Neural Network. In 2023 International Joint Conference on Neural Networks (IJCNN). 1\u20138."},{"key":"e_1_2_1_76_1","unstructured":"Quanjun Zhang Tongke Zhang Juan Zhai Chunrong Fang Bowen Yu Weisong Sun and Zhenyu Chen. 2023. A critical review of large language model on software engineering: An example from chatgpt and automated program repair. arXiv preprint arXiv:2310.08879."},{"key":"e_1_2_1_77_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 615\u2013627","author":"Zhang Zhuo","year":"2023","unstructured":"Zhuo Zhang, Brian Zhang, Wen Xu, and Zhiqiang Lin. 2023. Demystifying exploitable bugs in smart contracts. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 615\u2013627."},{"key":"e_1_2_1_78_1","volume-title":"Llamafactory: Unified efficient fine-tuning of 100+ language models. arXiv preprint arXiv:2403.13372.","author":"Zheng Yaowei","year":"2024","unstructured":"Yaowei Zheng, Richong Zhang, Junhao Zhang, Yanhan Ye, and Zheyan Luo. 2024. Llamafactory: Unified efficient fine-tuning of 100+ language models. arXiv preprint arXiv:2403.13372."},{"key":"e_1_2_1_79_1","doi-asserted-by":"crossref","unstructured":"Yuan Zhuang Zhenguang Liu Peng Qian Qi Liu Xiang Wang and Qinming He. 2020. Smart Contract Vulnerability Detection using Graph Neural Network.. In IJCAI. 3283\u20133290.","DOI":"10.24963\/ijcai.2020\/454"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T16:55:50Z","timestamp":1752684950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728878"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":80,"journal-issue":{"issue":"ISSTA","published-print":{"date-parts":[[2025,6,22]]}},"alternative-id":["10.1145\/3728878"],"URL":"https:\/\/doi.org\/10.1145\/3728878","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,22]]}}}