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

优化智能合约模糊测试器

blog.trailofbits.com | 博客 | #web3 | #smart-contracts | #fuzzing | #blockchain | #echidna | #haskell | #optimization

摘要

实习生借助 GHC 的 Haskell 性能分析器优化 Echidna 智能合约模糊测试工具，通过修复记忆化与状态处理问题，使覆盖率引导模式提速六倍以上。
发布时间
收录时间

原文 ↗

相关内容

  1. HackenProof 携手拥有四百万用户的 Hack The Box 平台，为区块链行业推出 CTF 安全挑战赛 (hackenproof.com)
  2. HackenProof 携手拥有四百万用户的 Hack The Box 平台，为区块链行业推出课程 (hackenproof.com)
  3. 状态分歧导致未经授权的访问 (blog.trailofbits.com)
  4. 使用基准测试加速Echidna (blog.trailofbits.com)
  5. 1inch 2026 上半年漏洞赏金报告：Aqua 篇 (hackenproof.com)
  6. 保护 Layer 1 区块链协议：安全指南 (hackenproof.com)

返回