Feature
Control Flow Graph Analysis
A control-flow graph (CFG) shows basic blocks and jumps in compiled code. For EVM contracts, CFGs help auditors see branching complexity, unreachable code, and external call sites before reading hundreds of lines of pseudocode.
Why CFGs matter in audits
- Spot reentrancy-prone CALL patterns and guard placement
- Identify dead or unreachable bytecode (sometimes obfuscation)
- Navigate large contracts function-by-function
- Export graph data for offline documentation
Using CFG with decompiled Solidity
Switch between the Flow tab and Solidity tab in the decompiler. The graph gives spatial intuition; decompiled text gives semantic detail. Together they reduce time-to-understanding for unfamiliar bytecode.
Try it now
Open the free EVM decompiler — paste an address or bytecode and get results in seconds.
Related: EVM Disassembler vs Decompiler · Bytecode Decompiler · Audit Unverified Smart Contracts