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
781
stars
137
forks
source link
Support AFL++ coverage maps
#90
Closed
mephi42
closed
5 months ago
mephi42
commented
2 years ago
AFL++ generates coverage maps with different sizes.
AFL++ generates coverage maps with different sizes.