ItyFuzz：极速智能合约混合模糊测试器完全指南

§1 学习目标

完成本文档后，你将能够：

• ✅ 理解 ItyFuzz 的核心定位与设计理念
• ✅ 掌握 ItyFuzz 的安装与基本使用方法
• ✅ 理解 ItyFuzz 的混合模糊测试技术原理
• ✅ 掌握 ItyFuzz 对 EVM 和 MoveVM 合约的测试方法
• ✅ 使用 ItyFuzz 进行链上合约模糊测试
• ✅ 使用 ItyFuzz 运行 Foundry invariant 测试
• ✅ 理解 ItyFuzz 的性能调度与符号执行技术
• ✅ 扩展 ItyFuzz 进行定制化测试

§2 项目概述

2.1 什么是 ItyFuzz？

ItyFuzz（GitHub 仓库）是一个极速的 EVM 和 MoveVM 智能合约混合模糊测试器，结合符号执行（symbolic execution）和模糊测试（fuzzing）技术，用于在链下和链上发现智能合约漏洞。

官方描述：

ItyFuzz is a blazing-fast EVM and MoveVM smart contract hybrid fuzzer that combines symbolic execution and fuzzing to find bugs in smart contracts offchain and onchain.

核心定位：为智能合约安全审计提供高效、自动化的漏洞发现工具。

2.2 核心数据

2.3 技术栈

2.4 核心特性

2.5 适用场景

§3 性能基准

3.1 大型真实项目对比

3.2 小型合约对比

3.3 Daedaluzz 基准测试

在 Consensys 的 Daedaluzz 基准测试中（不使用符号执行）：

§4 安装与部署

4.1 一键安装

curl -L https://ity.fuzz.land/ | bash ityfuzzup

4.2 从源码编译

# 克隆仓库
git clone https://github.com/fuzzland/ityfuzz
cd ityfuzz

# 使用 Rust 编译
cargo build --release

# 运行测试
cargo test

4.3 Docker 部署

# 构建 Docker 镜像
docker build -t ityfuzz .

# 运行容器
docker run -it ityfuzz

§5 使用指南

5.1 模糊测试已部署的智能合约

5.1.1 基本用法

# 使用默认 EVM RPC 测试合约
ityfuzz evm \
    -t <目标合约地址> \
    --etherscan-api-key <API密钥>

5.1.2 分叉特定链的合约

# 分叉 Polygon 并在特定区块测试
ETH_RPC_URL=https://polygon-rpc.com ityfuzz evm \
    -t 0xbcf6e9d27bf95f3f5eddb93c38656d684317d5b4,0x5d6c48f05ad0fde3f64bab50628637d73b1eb0bb \
    -c polygon \
    --onchain-block-number 35718198

5.1.3 使用闪电贷

# 启用闪电贷支持（模拟无限资金攻击）
ETH_RPC_URL=https://polygon-rpc.com ityfuzz evm \
    -t <目标合约地址> \
    -c polygon \
    --flashloan \
    --onchain-block-number <区块号>

5.2 运行 Foundry Invariant 测试

# 运行 Foundry invariant 测试
ityfuzz evm \
    -m test/Invariant.sol:Invariant \
    -- forge test

5.3 常见命令选项

§6 核心特性详解

6.1 链上分叉（Chain Forking）

ItyFuzz 支持在任意链的任意区块高度创建合约分叉，允许对历史状态进行测试：

# 在特定区块分叉以太坊
ETH_RPC_URL=https://eth-mainnet.rpc.example.com ityfuzz evm \
    -t <合约地址> \
    --onchain-block-number 15000000

6.2 精准漏洞利用生成

ItyFuzz 不仅能发现漏洞，还能自动生成精确的漏洞利用代码：

6.3 重入攻击支持

# 测试重入漏洞
ityfuzz evm \
    -t <合约地址> \
    --reentrancy

6.4 清算支持

# 模拟清算操作
ityfuzz evm \
    -t <合约地址> \
    --liquidation

6.5 反编译支持

对无源码的字节码合约进行测试：

# 对字节码进行反编译和测试
ityfuzz evm \
    -t <字节码地址> \
    --decompile

§7 工作原理

7.1 混合模糊测试架构

ItyFuzz 采用混合模糊测试方法，结合两种技术的优势：

1. 模糊测试（Fuzzing）

   • 快速生成大量随机输入
   • 高效探索基本代码路径
   • 发现简单的逻辑错误

2. 符号执行（Symbolic Execution）

   • 生成覆盖更多代码路径的测试用例
   • 精确触发复杂漏洞
   • 解决约束条件生成精确输入

7.2 LibAFL 引擎

ItyFuzz 基于 LibAFL（最先进的模糊测试引擎）构建：

• 高性能模糊测试调度
• 并行模糊测试支持
• 可插拔的模糊测试策略
• 丰富的覆盖率跟踪

7.3 极速调度（Power Scheduling）

ItyFuzz 使用智能调度算法优先测试更可能有漏洞的代码区域：

// 调度策略伪代码
fn schedule_power(corpus, coverage, vulnerabilities) {
    // 根据覆盖率和新发现调整功率分配
    for item in corpus {
        power = calculate_power(item, coverage, vulnerabilities);
        assign_power(item, power);
    }
}

§8 已发现漏洞

8.1 精选新漏洞

8.2 漏洞利用自动生成

ItyFuzz 可以自动生成超过 80% 历史黑客事件的漏洞利用代码，无需了解具体攻击细节。

§9 项目结构

9.1 目录结构

ityfuzz/
├── src/                    # 核心源代码
├── benches/                # 基准测试
├── ityfuzzup/             # 自动更新程序
├── onchain_scripts/        # 链上脚本
├── server/                 # 服务器组件
├── solidity_utils/         # Solidity 工具
├── tests/                  # 测试用例
├── ui/                     # 用户界面
├── Cargo.toml              # Rust 项目配置
├── Cargo.lock              # 依赖锁定
├── Dockerfile              # Docker 配置
├── Makefile.toml           # 构建配置
├── rust-toolchain.toml     # Rust 工具链配置
└── README.md              # 项目文档

9.2 核心模块

§10 集成与扩展

10.1 Foundry 集成

ItyFuzz 可以直接运行 Foundry invariant 测试：

// test/Invariant.sol
contract Invariant {
    function invariant_balance() public view {
        require(address(this).balance >= 0);
    }
}

# 运行 Foundry invariant 测试
ityfuzz evm -m test/Invariant.sol:Invariant -- forge test

10.2 自定义配置

通过 JSON 配置文件初始化复杂合约：

{
    "init": {
        "rpc": "https://eth-mainnet.rpc.example.com",
        "block_number": 15000000
    },
    "contracts": [
        "0x..."
    ],
    "flashloan": true
}

10.3 Etherscan API

# 设置 Etherscan API 密钥
export ETHERSCAN_API_KEY=your_api_key

# 自动获取合约源码
ityfuzz evm -t <合约地址> --etherscan-api-key $ETHERSCAN_API_KEY

§11 最佳实践

11.1 测试策略

11.2 性能优化

11.3 安全注意事项

• ⚠️ 仅在测试网络上运行
• ⚠️ 不要在生产环境暴露 RPC 凭证
• ⚠️ 定期更新到最新版本
• ⚠️ 结合人工代码审计

§12 常见问题

Q1：ItyFuzz 与 Echidna 有何区别？

ItyFuzz 使用混合方法（模糊测试 + 符号执行），在大型项目上明显优于 Echidna（126 vs 0 漏洞）。 Echidna 主要依赖纯模糊测试。

Q2：ItyFuzz 支持哪些链？

支持所有 EVM 兼容链（以太坊、Polygon、BSC、Avalanche 等）和 MoveVM 链（Sui、Aptos）。

Q3：需要源码才能测试吗？

不需要。ItyFuzz 支持字节码反编译测试，但有源码可以获得更好的覆盖率。

Q4：如何加速测试？

使用并行测试、选择合适的区块高度、启用符号执行。

Q5：ItyFuzz 可以完全替代人工审计吗？

不能。ItyFuzz 是强大的自动化工具，但人工审计仍不可替代。两者结合效果最佳。

§13 总结

13.1 核心优势

13.2 适用对象

13.3 项目信息

13.4 相关链接

§14 附录：术语表

文档版本 1.0 | 撰写日期：2026-04-01 | 基于 ItyFuzz (1.1k Stars) | 性能数据来源：官方基准测试