Prompt to Pwn: Automated Exploit Generation for Smart Contracts
Not on the map. Why?
Abstract (arXiv)
Smart contracts are important for digital finance, yet they are hard to patch once deployed. Prior work has mainly explored LLMs for smart contract vulnerability detection, leaving end-to-end automated exploit generation (AEG) much less understood. We study that gap with textscReX, an execution-grounded framework that links LLM-based exploit synthesis to the Foundry stack for end-to-end generation, compilation, execution, and validation. Five recent LLMs are evaluated across eight common vulnerability classes, supported by a curated dataset of 38+ real incident PoCs and three automation aids: prompt refactoring, a compiler feedback loop, and templated test harnesses. Results indicate that current frontier LLMs can often produce deterministic PoCs for single-contract vulnerabilities, but remain weak on cross-contract attacks; outcomes depend mainly on the model and bug type, while code structure and prompt tuning contribute less in our setting. The study also surfaces important boundary conditions of LLM-driven AEG, including gaps between oracle-validated exploitability and real-world economic attacks, pointing to the need for stronger defenses and more realistic evaluation.
Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). Builds on 31 of its 57 references that are in the map. First posted on arXiv 2 Aug 2025.
Builds on
31 of 57 references.
References · 31
- 2022CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesiscited by 885
- 2023StarCoder: may the source be with you!cited by 799
- 2021Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributionscited by 431
- 2021Examining Zero-Shot Vulnerability Repair with Large Language Modelscited by 105
- 2019Slither: A Static Analysis Framework For Smart Contractscited by 89
- 2023GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysiscited by 65
- 2018Securify: Practical Security Analysis of Smart Contractscited by 61
- 2024Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedbackcited by 46
- 2023When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?cited by 42
- 2024Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justificationscited by 41
- 2019Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contractscited by 37
- 2019Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contractscited by 36
19 more
- 2023Do you still need a manual smart contract audit?cited by 35
- 2018ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detectioncited by 32
- 2024Toward Secure Code Generation: Bridging Correctness and Security via Task-Adaptive Vulnerability Modeling and Execution-Based Benchmarkingcited by 27
- 2018Finding The Greedy, Prodigal, and Suicidal Contracts at Scalecited by 19
- 2020SmartBugs: A Framework to Analyze Solidity Smart Contractscited by 18
- 2022Token Spammers, Rug Pulls, and SniperBots: An Analysis of the Ecosystem of Tokens in Ethereum and in the Binance Smart Chain (BNB)cited by 15
- 2020A Survey of Smart Contract Formal Specification and Verificationcited by 14
- 2019The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contractscited by 13
- 2024Large Language Models for Blockchain Security: A Systematic Literature Reviewcited by 12
- 2025Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approachcited by 10
- 2019SoK: Transparent Dishonesty: front-running attacks on Blockchaincited by 9
- 2024Compiler generated feedback for Large Language Modelscited by 9
- 2025AI Agent Smart Contract Exploit Generationcited by 9
- 2025Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilitiescited by 5
- 2025SoK: Semantic Privacy in Large Language Modelscited by 3
- 2024Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysiscited by 2
- 2025Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learningcited by 2
- 2023A Comprehensive Survey of Upgradeable Smart Contract Patternscited by 1
- 2025Legal Compliance Evaluation of Smart Contracts Generated By Large Language Modelscited by 1
Built on by
Citing papers per year: 2025: 2; 2026: 2.
4 papers.
- 2025PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contractscited by 8
- 2026Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarizationcited by 1
- 2025LLMs as verification oracles for Soliditycited by 0
- 2026Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contractscited by 0
- 2026Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts17 Jul 2026
- 2026Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization27 Mar 2026
- 2025PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts4 Nov 2025
- 2025LLMs as verification oracles for Solidity23 Sep 2025