Rattle is a EVM static analysis framework designed to work on deployed smart contracts.
What is Rattle?
Developed by Crytic, the blockchain arm of Trail Of Bits, Rattle provides a static analysis framework for deployed smart contracts. Developers can use Rattle to parse EVM bytestrings to obtain a control flow graph for the set of contracts. Rattle then uses this flow graph to optimize the SSA instructions. This optimization results in ~60% of all EVM instructions being trimmed, creating a friendly interface for those users who wish to read the contract they are interacting with!
