search

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
480 stars 56 forks source link

Add BORG #26

Closed enzet closed 6 years ago

enzet commented 6 years ago

See The BORG: Nanoprobing Binaries for Buffer Overreads.