crytic 的文章 - 登链社区

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

本文档列出了当前为 ERC20、ERC721、ERC4626 和 ABDKMath64x64 实现的所有 Echidna 属性测试。对于每个属性，都有一个指向存储库中实现它的文件的永久链接，以及测试的不变式的简短描述。主要分为ERC20、ERC721、ERC4626、ABDKMath64x64 四个部分，分别介绍了各自的基本功能属性，以及可燃烧、可铸造和可暂停代币的测试。

ERC20 ERC721 ERC4626 ABDKMath64x64 Echidna 属性测试

发布于 2025-11-27 20:53 阅读(26) 点赞(0)

安全 - 目录

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

智能合约模糊测试 Echidna Medusa ERC20 ERC721 ERC4626 ABDKMath64x64 安全漏洞属性测试

发布于 2025-11-27 18:33 阅读(19) 点赞(0)