Eveem

Panoramix uses an unusual, for decompilers, technique called symbolic execution. In short, it has a virtual machine that operates on symbols and algebra instead of concrete values and arithmetic. This method is usually used for formal verification of contracts, but surprisingly, it seems, nobody tried using it to deliver a readable source code. It also has a custom made memory model which, I hope, is faster than a generic SMT solver-based one. Filled with bugs though, which you can see especially near the loops and dynamic-length variables. The best practices of cowboy coding, and duct-tape programming were used to deliver it within one month, starting from scratch. It will be open-sourced, just let me clean up the source code a bit.