search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Tasks to complete before release 2.0 #160

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago
  1. [x] Integrate trace compression into framework.
  2. [x] Fix taint analysis + trace graph bug.
  3. [x] Re-organize directory structure.
  4. [x] Update build (Makefiles, etc.).
  5. [x] Make the TA 1-past block inclusion only for trace graph.
  6. [x] Successfully build and use guest binaries with CMake, no installation.
  7. [ ] Update documentation.
  8. [ ] Provide configuration templates.
  9. [x] Manual test suite, or travis-ci, with 50 CoreUtils.
  10. [x] Make deleting successful traces from svm-node after execution an option.
  11. [x] Enable sending of OS image files larger than 10G.