23 papers
NFTDELTA: Detecting Permission Control Vulnerabilities in NFT Contracts through Multi-View Learning
Hailu Kuang, Xiaoqi Li, Wenkai Li +1
Permission control vulnerabilities in Non-fungible token (NFT) contracts can result in significant financial losses, as attackers may exploit these weaknesses to gain unauthorized…
CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs
Xiaoqi Li, Hailu Kuang, Wenkai Li +2
Traditional approaches for smart contract analysis often rely on intermediate representations such as abstract syntax trees, control-flow graphs, or static single assignment form.…
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
Xiaoqi Li, Xin Wang, Wenkai Li +1
With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Orac…
LiquiLM: Bridging the Semantic Gap in Liquidity Flaw Audit via DCN and LLMs
Zekai Liu, Xiaoqi Li, Wenkai Li +1
Traditional consensus mechanisms, such as Proof of Stake (PoS), increasingly reveal an excessive dependency on large liquidity providers. Although the Proof of Liquidity (PoL) mech…
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…