symx icon indicating copy to clipboard operation
symx copied to clipboard
verified publisher icon pzread

documentation lacking

Open rofl0r opened this issue 8 years ago • 1 comments

hi, this looks like a very interesting project, but yeah, there's absolutely no documentation apart from tests/, which is rather cryptic. also, since there's been no change in 2 years, some info about the current project would help as well.

rofl0r avatar Mar 10 '17 20:03 rofl0r

This project is abandon because of incorrect design. If you're interested in symbolic execution, you can try the following projects

  1. https://github.com/angr/angr
  2. https://github.com/klee/klee

pzread avatar Mar 13 '17 13:03 pzread