SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models

Shihao Xia, Mengting He, Shuai Shao +4

To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each defining a set of rules governing contract behavior.…