Book
Open access
Oct 2026
SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution
Smart contracts are commonly audited through static analysis to explore vulnerabilities. However, static approaches typically produce heterogeneous findings rather than reproducible, executable proof-of-concept (PoC) test cases, leading to costly and ad hoc manual validation. Large language models (LLMs) offer a promis...
Long-Fei Chen, Rui-Bin Yan, Tai-Yu Wong et al.
· Proceedings of the 41st IEEE... · 0 citations