Skip to content
使用 Echidna 测试智能合约库
blog.trailofbits.com | 博客 | #web3 | #smart-contracts | #fuzzing | #blockchain | #solidity | #echidna | #property-based-testing | #property-testing
摘要
演示如何用 Echidna 模糊测试器测试智能合约库：通过基于属性的测试复现 Set Protocol 审计中发现的真实 bug，说明共享库的缺陷可能同时波及众多高价值合约。
- 发布时间
- 收录时间