5 papers
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…
Smart Contracts in the Real World: A Statistical Exploration of External Data Dependencies
Yishun Wang, Xiaoqi Li, Shipeng Ye +2
Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To…
No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis
Xiaoqi Li, Zongwei Li, Wenkai Li +2
As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart c…
SCALM: Detecting Bad Practices in Smart Contracts Through LLMs
Zongwei Li, Xiaoqi Li, Wenkai Li +1
As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart c…
AI-Based Vulnerability Analysis of NFT Smart Contracts
Xin Wang, Xiaoqi Li
With the rapid growth of the NFT market, the security of smart contracts has become crucial. However, existing AI-based detection models for NFT contract vulnerabilities remain lim…