enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
488Updated 5 months ago

Alternatives and similar repositories for symbolic-execution:

Users that are interested in symbolic-execution are comparing it to the libraries listed below