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!