issues
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
771
stars
137
forks
source link
PR for shift left overflow problem (issue #85)
#86
Open
ret2dir
opened
2 years ago
ret2dir
commented
2 years ago
PR for issue #85
PR for issue #85