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 LLVM 11 support #32

Closed unseddd closed 3 years ago

unseddd commented 3 years ago

Identical to #31 (closed because of housekeeping error)

Resolves #24

unseddd commented 3 years ago

Pinging @sebastianpoeplau for review

sebastianpoeplau commented 3 years ago

Sorry, busy times... Thanks for the contribution @unseddd!