Rattle - An Ethereum EVM Binary Analysis Framework
Explore the intricacies of Rattle, an Ethereum EVM binary analysis framework, in this 30-minute conference talk from Recon Conference. Delve into the challenges of auditing smart contracts on the blockchain, where the majority lack verified source code. Learn how Rattle addresses the limitations of EVM's stack machine architecture, which hinders variable identification and tracking. Discover the framework's innovative approach to recovering control flow graphs, lifting them into SSA/infinite register form, and optimizing the result. Understand how Rattle simplifies EVM instructions by 60%+, making smart contracts more accessible for auditing. Gain insights into the development process, design decisions, and practical applications of Rattle in binary auditing of Ethereum smart contracts.