https://0f9f3b1c.text-matrix.pages.dev/tags/%E5%AE%89%E5%85%A8%E5%AE%A1%E8%AE%A1/Recent content in 安全审计 on Text MatrixHugozh-cnWed, 08 Apr 2026 11:10:11 +0800https://0f9f3b1c.text-matrix.pages.dev/posts/tech/ityfuzz-smart-contract-fuzzer-guide/Wed, 01 Apr 2026 01:03:00 +0800https://0f9f3b1c.text-matrix.pages.dev/posts/tech/ityfuzz-smart-contract-fuzzer-guide/<h1 id="ityfuzz极速智能合约混合模糊测试器完全指南">ItyFuzz：极速智能合约混合模糊测试器完全指南</h1> <h2 id="1-学习目标">§1 学习目标</h2> <p>完成本文档后，你将能够：</p> <ul> <li>✅ 理解 ItyFuzz 的核心定位与设计理念</li> <li>✅ 掌握 ItyFuzz 的安装与基本使用方法</li> <li>✅ 理解 ItyFuzz 的混合模糊测试技术原理</li> <li>✅ 掌握 ItyFuzz 对 EVM 和 MoveVM 合约的测试方法</li> <li>✅ 使用 ItyFuzz 进行链上合约模糊测试</li> <li>✅ 使用 ItyFuzz 运行 Foundry invariant 测试</li> <li>✅ 理解 ItyFuzz 的性能调度与符号执行技术</li> <li>✅ 扩展 ItyFuzz 进行定制化测试</li> </ul> <hr> <h2 id="2-项目概述">§2 项目概述</h2> <h3 id="21-什么是-ityfuzz">2.1 什么是 ItyFuzz？</h3> <p><strong>ItyFuzz</strong>（<a href="https://github.com/fuzzland/ityfuzz" target="_blank" rel="noopener noreffer ">GitHub 仓库</a>）是一个<strong>极速的 EVM 和 MoveVM 智能合约混合模糊测试器</strong>，结合符号执行（symbolic execution）和模糊测试（fuzzing）技术，用于在链下和链上发现智能合约漏洞。</p>