collaborators

1 paper

cs.SE2025

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution

Jiachi Chen, Zhenzhe Shao, Shuo Yang +5

In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts oft…