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
781 stars 137 forks source link

fix issue #109 #111

Closed ercoppa closed 1 year ago

ercoppa commented 1 year ago

Let me if this fix is ok :)

sebastianpoeplau commented 1 year ago

Looks great, thanks!