Medusa

本文探讨了如何通过Foundry单元测试来调试和修复Echidna/Medusa测试中的不变性问题。介绍了如何使用Foundry模板创建Counter合约，并定义基本的不变性，接着描述了如何运行Echidna和Medusa进行测试，生成相应的单元测试，最后展示了如何修复合约中的bug以维护不变性。通过这种方法，开发者能够更快速有效地定位和解决合约问题，这是在生产环境中极为重要的。

文章介绍了一个名为create-chimera-app的工具，该工具基于现有的测试框架，允许开发者通过单一命令快速启动一个带有不变性测试的Foundry项目。它集成了Chimera框架并提供了一套易于使用的测试结构，简化了测试的设置过程，从而使开发者能够更高效地进行不变性测试，减少了复杂性和时间成本。

本文介绍了 Visual Studio Code 的 Recon 扩展，它简化了不变性测试套件的设置和运行。该扩展提供了一系列工具，包括自动生成测试框架、快速创建处理器、自动生成模拟合约、生成 Echidna/Medusa 报告、生成精简的覆盖率报告，以及生成用于调试的单元测试。

本文介绍了使用Medusa和create-chimera-app工具进行智能合约的不变量测试方法。不变量测试是一种高级集成测试手段，通过生成随机调用序列来检查合约内的某些不变量是否保持。文章详细介绍了不变量测试的基本原理、Medusa工具的工作流程，以及如何使用create-chimera-app框架搭建测试脚手架，并通过案例演示如何利用这些工具解决智能合约中的漏洞。

本文介绍了Chimera框架，它允许智能合约开发者和审计员使用同一代码库编写适用于Foundry、Echidna和Medusa三种fuzzer的智能合约不变性模糊测试。文章通过一个简化的Vesting合约的漏洞示例，展示了如何使用Chimera编写测试设置、定义不变量、封装目标函数以及编写适用于不同fuzzer的前端合约，最后通过修复漏洞验证了测试的有效性。

Recon Extension 新版本发布，集成了 Halmos，并支持 Vyper。该扩展旨在改进模糊测试工作流程，可以更高效地定义和打破属性。通过使用 Chimera 框架，Recon Extension 可以运行 Halmos, Echidna 和 Medusa，生成报告，并将损坏的测试转换为 Foundry reproducer。

该文档介绍了一个用于检测智能合约漏洞、确保符合相关标准以及提供编写不变性指南的属性库，该库包含了针对ERC20、ERC721、ERC4626和ABDKMath64x64等类型的token和库的168个代码属性，并提供了使用Echidna或Medusa进行模糊测试的步骤和配置示例，以及辅助函数和HEVM作弊码的支持。

本文介绍了通过一个由四个部分组成的自定进度的书面教程，从零开始学习不变性测试，并最终能够使用不变性测试在生产系统中发现错误。教程涵盖了如何使用Recon扩展搭建不变性测试套件、创建简化的系统部署、实现对感兴趣合约的全面覆盖、使用Foundry等工具实现属性测试、调试损坏的属性以及使用Echidna的优化模式。

文章作者创建了一个流程图，用于指导读者选择合适的模糊测试工具。作者推荐针对有状态模糊测试，默认使用Echidna和Medusa；针对无状态模糊测试，选择Foundry。同时还讨论了Slither在模糊测试中的作用，以及ffi和链上模糊测试的工具选择。