Showing 2025Show all
2 papers · 1 filter
cs.SE2025
SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
Xingshuang Lin, Binbin Zhao, Jinwen Wang +3
Smart Contract Reusable Components(SCRs) play a vital role in accelerating the development of business-specific contracts by promoting modularity and code reuse. However, the risks…
cs.SE2025
PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
Xingshuang Lin, Qinge Xie, Binbin Zhao +6
Smart contracts are fundamental pillars of the blockchain, playing a crucial role in facilitating various business transactions. However, these smart contracts are vulnerable to ex…