---
source: arxiv
url: http://arxiv.org/abs/2604.13611v2
published_at: '2026-04-15T08:24:24'
authors:
- Jingwen Zhang
- Yuhong Nan
- Kaiwen Ning
- Mingxi Ye
- Wei Li
- Yuming Xiao
- Yuming Feng
- Weizhe Zhang
- Zibin Zheng
topics:
- smart-contract-security
- vulnerability-validation
- exploit-generation
- llm-for-code
- blockchain-analysis
relevance_score: 0.72
run_id: materialize-outputs
language_code: zh-CN
---

# V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution

## Summary
## 摘要
V2E 通过生成可执行的 exploit PoC、执行它们，并检查它们是否既能触发漏洞又能带来攻击者利润，来验证已报告的智能合约漏洞。论文针对智能合约扫描器的一个常见失效模式：很多报告匹配了漏洞模式，但在实际中不可利用。

## 问题
- 现有的智能合约检测工具常常报出大量误报，因为它们只是标记了有漏洞的代码模式，没有证明这些代码能在真实执行环境中被触发。
- 即使漏洞能被触发，如果它不会造成财务损失或攻击者利润，也可能没有实际意义，因为智能合约攻击通常以获利为目标。
- 工具输出的人工验证成本很高，审计员和开发者尤其难以处理状态相关的逻辑漏洞，例如重入、交易排序依赖和随机数误用。

## 方法
- V2E 先接收漏洞报告、合约源代码和待测试函数，然后用细粒度静态分析，通过状态读写依赖和访问控制分析找出可能的 exploit 入口函数。
- 它给 LLM 一个范围很窄的提示，包含构造函数、漏洞路径和漏洞特征，然后要求它生成针对性的、基于 Foundry 的 PoC，而不是在没有引导的情况下从完整合约直接生成 exploit。
- V2E 在定制的 EVM 中执行每个 PoC，检查**可触发性**和**盈利性**。只有当 PoC 既触发了漏洞行为，又增加了攻击者利润或造成了财务损失时，漏洞才算有效。
- 如果执行失败，V2E 会用执行字节码和源码映射定位失败点，并让 LLM 修改 PoC。如果执行成功但还不能证明可利用性，它会结合预定义的、按漏洞类型划分的原语操作来细化 PoC。
- 当前范围覆盖五类 SWC：未受保护的以太币提取、未受保护的 selfdestruct、重入、交易顺序依赖，以及来自链属性的随机数。

## 结果
- 评估使用了 SmartBugs 中**264 个人工标注合约**：**64** 个人工构造合约和 **200** 个真实链上合约。
- V2E 识别出 **124 个可利用漏洞中的 102 个**，精确率为 **91.9%**，召回率为 **82.3%**。
- 它去除了 **140 个误报中的 71 个**，论文将其报告为 **50.7%**。
- 作为现有工具的后验证层，V2E 将误报率分别降低了 **Slither 的 76.9%**、**Mythril 的 56.9%** 和 **Confuzzius 的 65.0%**。
- 论文声称 V2E 优于一个基于 LLM 的基线方法，但摘录没有给出该基线的具体数值。

## Problem

## Approach

## Results

## Link
- [http://arxiv.org/abs/2604.13611v2](http://arxiv.org/abs/2604.13611v2)