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
791
stars
139
forks
source link
Stop using std::iterator
#128
Closed
sebastianpoeplau
closed
1 year ago