Evm_cfg_builder.md

52 - Evm_cfg_builder

Evm_cfg_builder is a tool used to extract a control flow graph (CFG) from EVM bytecode and used by Ethersplay, Manticore, and other tools from Trail of Bits.

1. Reliably recovers a Control Flow Graph (CFG) from EVM bytecode using a dedicated Value Set Analysis
2. Recovers functions names
3. Recovers attributes (e.g., payable, view, pure)
4. Outputs the CFG to a dot file
5. Library API

---

Slide Screenshot

---

Slide Text

• Security Tool
• Trail of Bits
• EVM Bytecode -> Extract CFG
• CFG, Functions Names, Attributes -> DOT File
• Used by Ethersplay, Manticore & Other Tools

---

References

• Youtube Reference

---

Tags