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