非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

使用 Echidna 进行状态机测试

blog.trailofbits.com | 博客 | #smart-contracts | #fuzzing | #ethereum | #solidity | #evm | #echidna | #property-based-testing | #state-machine-testing

摘要

Trail of Bits 工程师将 Hedgehog 式状态机测试移植到 EVM：用 Echidna 生成随机调用序列验证合约不变量，以 model、commands、property 三步在 Solidity 智能合约中定位逻辑漏洞。
发布时间
收录时间

原文 ↗

相关内容

  1. Echidna：面向以太坊的智能模糊测试器 (blog.trailofbits.com)
  2. 使用 Echidna 测试智能合约库 (blog.trailofbits.com)
  3. 四季皆宜的 Echidna (blog.trailofbits.com)
  4. 智能合约漏洞挖掘入门 (hackenproof.com)
  5. Solidity 中的 Gas 优化 (hackenproof.com)
  6. ERC-4337 Paymaster：更好的用户体验，隐藏的风险 (osec.io)

返回