search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
773 stars 135 forks source link

Added video to the Readme #35

Closed DavidKorczynski closed 3 years ago

sebastianpoeplau commented 3 years ago

Great video, thanks a lot for making it!

sebastianpoeplau commented 3 years ago

(...and of course for allowing us to reference it in the README)