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

Add Kudzu #1

Closed enzet closed 7 years ago

enzet commented 7 years ago

Kudzu, a symbolic execution framework for JavaScript (paper).