FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
Wed 8 Jul 2026 14:50 - 15:00 at MB 3.445 - Smart contracts Chair(s): Shibbir Ahmed

Smart contract vulnerabilities can cause substantial financial losses due to the immutability of code after deployment. While existing tools detect vulnerabilities, they cannot effectively repair them. In this paper, we propose SCPatcher, a framework that combines a Retrieval-Augmented Generation (RAG) with Knowledge Graph (KG) for automated smart contract repair. We construct a knowledge graph from 5,000 verified Ethereum contracts, extracting function-level relationships to build a semantic network. This graph serves as an external knowledge base that enhances Large Language Model (LLM) reasoning and enables precise vulnerability patching. We introduce a two-stage repair strategy, initial knowledge-guided repair followed by Chain-of-Thought (CoT) reasoning for complex vulnerabilities. Evaluated on 200 vulnerable contracts, SCPatcher achieves a 81.5% overall repair rate and 91.0% compilation pass rate, substantially outperforming existing methods.

Wed 8 Jul

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:20
Smart contractsResearch Papers / Industry Papers / Ideas, Visions and Reflections at MB 3.445
Chair(s): Shibbir Ahmed Texas State University
14:00
10m
Talk
AllocScope: Towards Automated Vetting of Allocation Manipulation in Smart Contracts
Industry Papers
Yu Pan CertiK, Jing Li CertiK, Qi Zhang CertiK, Xifeng Jin CertiK, Yuannan Yang CertiK, Dan She CertiK
14:10
20m
Talk
Odyssey : Hunting Smart Contract Vulnerabilities with Fine-grained State Modeling and Exploration
Research Papers
Jianzhong Su Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Jiachi Chen Zhejiang University, Yuhong Nan Sun Yat-sen University, Peilin Zheng Sun Yat-sen University, Tao Zhang Macau University of Science and Technology, Zibin Zheng Sun Yat-sen University
14:30
20m
Talk
SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning
Research Papers
Hyegeun Song Korea University, Jiseong Han Korea University, Sunbeom So Korea University
DOI Pre-print
14:50
10m
Talk
SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
Ideas, Visions and Reflections
Xiaoqi Li Hainan University, Shipeng Ye Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University