---
id: 1884
title: "[CVE-2020-5232] Manticore discovers the ENS bug"
cve: CVE-2020-5232
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/03/03/manticore-discovers-the-ens-bug/"
published_at: "2020-03-03T19:21:52Z"
tags: ["smart-contracts", "blockchain", "trail-of-bits", "ethereum", "symbolic-execution", "manticore", "ens", "cve-2020-5232"]
phying_url: "https://phying.com/item/1884"
lang: en
---

# [CVE-2020-5232] Manticore discovers the ENS bug

## Summary

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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **CVE:** CVE-2020-5232
- **Published:** 2020-03-03T19:21:52Z
- **Original:** https://blog.trailofbits.com/2020/03/03/manticore-discovers-the-ens-bug/
- **Phying News:** https://phying.com/item/1884