章鱼 非常感谢赞助了该项目。 Octopus是用于WebAssembly模块和Blockchain智能合约的安全分析框架。 Octopus的目的是提供一种简便的方法来分析封闭源WebAssembly模块和智能合约字节码，以更深入地了解其内部行为。 产品特点 资源管理器：章鱼JSON-RPC客户端实现与区块链平台进行通信 反汇编程序：章鱼可以将字节码转换为汇编表示形式 控制流分析：章鱼可以生成控制流图（CFG） 呼叫流分析：章鱼可以生成一个呼叫流图（功能级别） IR转换（SSA） ：八达