Decompiler and symbolic execution engine in Rust

A few months ago I announced Radare2 Summer of Code for decompiler in Rust.
Since there was some interest, albeit small, I think you might be interested in the newer developments - now all dependencies were merged into the one repository, updated to the modern Rust, and now passing tests. So if there is any interest in contributing - please check our issues page. Feel free to ask any questions as well. There is also an interesting suggestion to separate some parts of the decompiler and symbolic execution engine from the radare2 and ESIL (radare2 intermediate language), to be easily reusable with other tools and frameworks.

1 Like