rattle

Rattle is an EVM binary static analysis framework that operates on deployed smart contracts by transforming EVM bytecode into a more readable SSA format, significantly reducing instruction complexity and enhancing the analysis of control flow. Its primary use case is to aid developers and security analysts in understanding and auditing smart contracts. Notable features include flow-sensitive analysis, automatic recovery of function structure, and clarification of function arguments and storage locations, making it easier to interact with blockchain applications.