todo

Interesting Architectures to Try Translating
8032
MSP430

File Formats
PE support
Better library support

Analysis – here are some buzzwords to implement for finding bugs
interval analysis
symbolic code execution

Decompilation
—> convert intra-procedural CFGs to if/else and while() statements.
…