2. 为什么选择模糊测试而不是形式化验证? 博客 | 2024-03-22 13:00 | blog.trailofbits.com | 原文 ↗ | #smart-contracts | #fuzzing | #blockchain
3. 以太坊合约的可复用属性 博客 | 2023-02-27 13:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing