radare2-based decompiler and symbol executor - View it on GitHub