1. Manticore 发现 ENS 漏洞 blog.trailofbits.com | 公告 | 2020-03-03 19:21 | 原文 ↗ | #smart-contracts | #blockchain | #trail-of-bits | #ethereum 以太坊域名服务 ENS 曾因 CVE-2020-5232 出现严重漏洞:以特定方式转让域名后,原持有者可将其重新夺回。samczsun 披露该漏洞后,Trail of Bits 验证其符号执行工具 Manticore 能否独立发现此 bug,并演示了全过程。