GitHub repository: Inferno-Inc/octopus
Description: Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)