These are in no particular order:
- Finish basic type recovery to distinguish between structs/stack/class variables and pointer types
- Add support for detecting and defining how variables are passed through functions.
- Copy data elements from executable into IR output to make it run in lli.
- Target support - x86, mips, and PPC
- Add recursive decent parser and capture all control flow (including annotations of invariants for loops)
- More advanced type recovery using library and system calls
- Indirect control flow smt/sat solver
- Support for conditional instructions
- Support for multi-def instructions
- Support for conditionals
- High level type recovery
- Optimizing codeinvisel tables
- Exception handlers, interrupts, signals and other things that can affect control flow
- Recovery of complex language structs (slices in python or c++ classes)