69 citations · 92 across the 35 of their papers we have counts for
5 papers · 1 filter
SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
Xiaoqi Li, Shipeng Ye, Wenkai Li +1
Smart contract vulnerabilities can cause substantial financial losses due to the immutability of code after deployment. While existing tools detect vulnerabilities, they cannot eff…
LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
Yishun Wang, Wenkai Li, Xiaoqi Li +3
Smart contracts are self-executing programs that manage financial transactions on blockchain networks. Developers commonly rely on third-party code libraries to improve both effici…
Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects
Zongwei Li, Wenkai Li, Xiaoqi Li +1
The decentralized exchange (DEX) leverages smart contracts to trade digital assets for users on the blockchain. Developers usually develop several smart contracts into one project,…
StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract
Zongwei Li, Wenkai Li, Xiaoqi Li +1
Decentralized Exchanges (DEXs), leveraging blockchain technology and smart contracts, have emerged in decentralized finance. However, the DEX project with multi-contract interactio…
SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
Xiaoqi Li, Yingjie Mao, Zexin Lu +2
Smart contract code summarization is crucial for efficient maintenance and vulnerability mitigation. While many studies use Large Language Models (LLMs) for summarization, their pe…