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
773
stars
135
forks
source link
README.md: fix a typo
#64
Closed
aesophor
closed
3 years ago
aesophor
commented
3 years ago
Signed-off-by: Marco Wang
m.aesophor@gmail.com
Signed-off-by: Marco Wang m.aesophor@gmail.com