Control Flow Graph Reconstruction from EVM Bytecode

Learn about control flow graph reconstruction from Ethereum Virtual Machine (EVM) bytecode in this technical talk delivered by Dr. Franck Cassez at the Ethereum Engineering Group. Explore the intricacies of analyzing and reconstructing control flow graphs from EVM bytecode, which is essential for understanding program behavior and performing security analysis of smart contracts. Gain insights into the methodologies and techniques used in this critical aspect of Ethereum development and smart contract analysis.