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
Add support for LLVM 11
#31
Closed
unseddd
closed
3 years ago
unseddd
commented
3 years ago
Add support for building SymCC against LLVM 11
Resolves #24
Add support for building SymCC against LLVM 11
Resolves #24