Updated README - Githubissues

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

773 stars 135 forks source link

Closed DavidKorczynski closed 3 years ago

DavidKorczynski commented 3 years ago

Z3 no longer builds from source in the Docker image and I did a new video combining AFL and SymCC.

sebastianpoeplau commented 3 years ago

Oh, amazing! Thanks, and sorry for the delay.