"Octopus" is a security tool that helps with analyzing closed-source bytecode of Blockchain Smart Contracts and WebAssembly (WASM) modules. Octopus ships with tools like an Explorer, Disassembler, Control- and Call Flow Analyzer, IR Converter, Symbolic Executor and more.
- Patrick Ventuzelo