mildredto618 / symcc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
Home Page: http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
License: GNU General Public License v3.0