Add new tools - Githubissues

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Creative Commons Attribution Share Alike 4.0 International

486 stars 56 forks source link

Open enzet opened 2 years ago

enzet commented 2 years ago

zapashcanon commented 2 months ago

It would be nice if Owi could be added (see the paper and the repository).