likebreath
commented
6 years ago - Improve crete-tc-replay with check and classification of exploitable crashes
- Upgrade backend from klee-1.3.0 to klee-1.4.0
- Replace auto-make with CMake to build backend/klee
- Fix CMake dependency errors
- Yield NodeDriver thread to avoid starvation (@moralismercatus)
- Add angr-xml-ui for comparison with angr
- Re-design the tracing about crete_make_concolic() in front-end/qemu
- Re-design the replay about crete_make_conclic() in backend/klee
- Make trace self-contained, support standalone replay of captured trace with lli
- Add "secondary_cmds" to crete config file
- Support multi-process tracing
- Improve naming convention of concolic variable
- Support dynamically inject concolic values to kernel module entry functions to kernel API function returns
- Replace capture_begin/end with target_pid
- Cleanup crete custom opcode, remove unused crete helper functions
- Fix issue #25, #31, #32
- Fix random crash caused by parsing deleted function body in backend/klee
- Add constraint only for forked branches in backend/klee
- Improve constraints deps and concolic test generation