Road Map¶
Current nice-to-have features include:
Control Flow Analysis¶
- [x] Static CFG builder
- [x] Symbolic CFG builder
- [x] Traversal algorithms
- [x] Dominator analysis
- [x] Dot serialization
- [x] Block serialization
- [x] Method body serialization
Symbolic Execution¶
- [x] Generic symbolic execution engine base
- [x] CIL AsmResolver symbolic execution back-end
- [x] Data flow analysis
- [ ] Generic AST builder
- [ ] Static single assignment transformer
- [ ] Variable inlining
Concrete Emulation¶
- [ ] CIL emulator
- [ ] x86 emulator
- [ ] JVM emulator