Rattle

Rattle provides a static analysis framework for deployed smart contracts.

Built to illuminate how contracts interact, it enables developers to parse EVM byte strings and generate a comprehensive control-flow graph that covers the entire set of related contracts.

Using this graph, Rattle optimizes the SSA representation of the code, trimming roughly 60% of EVM instructions and removing noise that obscures logic.