Change Z3str3 affiliation to University of Waterloo and IBM Research

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 6 years ago

enzet commented 6 years ago

Thanks to Vijay Ganesh.

enzet commented 6 years ago

Repeat changes on symbolic-execution diagram.