文件名称：octopus：WebAssembly模块（wasm）和区块链智能合约（BTCETHNEOEOS）的安全性分析工具
文件大小：3.2MB
文件格式：ZIP
更新时间：2024-02-26 01:38:53
security ethereum smart-contracts blockchain disassembler
章鱼 非常感谢赞助了该项目。 Octopus是用于WebAssembly模块和Blockchain智能合约的安全分析框架。 Octopus的目的是提供一种简便的方法来分析封闭源WebAssembly模块和智能合约字节码，以更深入地了解其内部行为。 产品特点 资源管理器：章鱼JSON-RPC客户端实现与区块链平台进行通信 反汇编程序：章鱼可以将字节码转换为汇编表示形式 控制流分析：章鱼可以生成控制流图（CFG） 呼叫流分析：章鱼可以生成一个呼叫流图（功能级别） IR转换（SSA） ：八达通可以简化组装成静态单一分配（SSA）表示形式 符号执行：章鱼使用符号执行在程序中查找新路径 平台/