allthingsfuzzy 的文章

TA的文章 TA购买的 TA喜欢的 TA收藏的

对 Badger DAO 的 eBTC 协议进行为期 6 周模糊测试的经验总结

本文总结了对 Badger DAO 的 eBTC 协议进行为期 6 周的模糊测试的关键经验和最佳实践，包括使用 Echidna、Foundry 和 Medusa 等工具，以及如何通过测试转换器加速调试过程。强调了简化假设的潜在风险，并强调了数学证明不变量的重要性，最终目的是为了提升智能合约的安全性。

模糊测试不变性测试 Echidna Foundry 智能合约形式化验证

发布于 2025-08-05 20:30 阅读(162) 点赞(0) ( 5 )

介绍Recon：简化的不变性测试和模糊测试

本文介绍了Recon工具的使用，该工具能自动化生成Solidity项目的无变体测试。作者通过示例展示了如何使用Recon创建Uniswap V3的测试套件，并验证特性以检测智能合约中的潜在漏洞。文章详细阐述了项目设置过程、各个合约的功能以及如何运行模糊测试。整体上，该文本为开发人员和审计人员提供了很好的工具使用指南。

Recon Solidity 无变体测试 Uniswap V3 Echidna 模糊测试

发布于 2024-02-26 23:30 阅读(862) 点赞(0)