嘎嘎作响:EVM二进制静态分析 源码

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