1.
blog.trailofbits.com | advisory | | original ↗ | #smart-contracts | #blockchain | #trail-of-bits | #ethereum
After CVE-2020-5232 let prior owners reclaim transferred ENS names, Trail of Bits tested whether its Manticore symbolic executor could have found the bug, and walks through how it does.
Skip to content