SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
| Title: | SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models |
|---|---|
| Authors: | Xia, Shihao; He, Mengting; Shao, Shuai; Yu, Tingting; Zhang, Yiying; Yoshida, Nobuko; Song, Linhai |
| Source: | Proceedings of the ACM on Programming Languages. 10(OOPSLA1):482-512 |
| Availability: | http://dl.acm.org/doi/10.1145/3798217 |
| Database: | ACM Full-Text Collection |