[dataflow]

> that generates goto-free control flows

...note: from LLVM bitcode.

[lmz]

https://github.com/lifting-bits/remill is linked from there, which I guess is where you get your bitcode from.

[dataflow]

Oh that's cool, thanks!