Add Rosette - 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

Closed enzet closed 7 years ago

enzet commented 7 years ago

By Brian Mastenbrook‏ @bmastenbrook:

It's missing a really interesting tool/language, Rosette: https://emina.github.io/rosette/