What happens if you put in a binary which outputs C-like machine code, like Rust (llvm) or zig?
We haven't looked into it yet, but the automatic data structure recognition might help.
Frankly, Rust looks particularly scary: https://media.ccc.de/v/37c3-11684-rust_binary_analysis_featu...