octopus

Octopus 衷心感谢 QuoScient 对本项目的赞助。 Octopus 是一个用于 WebAssembly 模块和区块链智能合约的安全分析框架。 Octopus 旨在提供一种简单的方式来分析闭源的 WebAssembly 模块和智能合约字节码，从而更深入地理解其内部行为。 功能 浏览器 Explorer ：Octopus 的 JSON-RPC 客户端实现，用于与区块链平台通信 反汇编器 Disassembler ：Octopus 可以将字节码转换为汇编表示 控制流分析 ：Octopus 可以生成控制流图 CFG 调用流分析 ：Octopus 可以生成调用流图（函数级别） IR 转...