- Simplify architecture by removing multiple input source fuzzing. This feature has been supported for the comparison against KLEE.
- Remove our own random fuzzing module, and support integration with AFL.
- Fix QEMU instrumentation code (update to QEMU-2.10.0, fix bugs, optimize).
- Add a feature to decide execution timeout automatically.
- Clean up codes.
- Update command line interface.
- Update test examples.