拨浪鼓 Rattle是一个EVM二进制静态分析框架，旨在处理已部署的智能合约。 Rattle获取EVM字节字符串，使用流敏感分析来恢复原始控制流图，将控制流图提升为SSA /无限寄存器形式，并优化SSA –删除DUP，SWAP，PUSH和POP。 从堆栈机到SSA格式的转换删除了所有EVM指令的60％以上，并且为希望阅读与之交互的智能合约的用户提供了一个友好得多的界面。 例 $ python3 rattle-cli.py --input inputs/kingofether/KingOfThe