Mark nodelete during linking to work around unload bug in upstream LLVM

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

776 stars 135 forks source link

Closed adrianherrera closed 4 years ago

adrianherrera commented 4 years ago

clang would segfault when running symcc with LLVM 8.0 built from upstream. This is a well-known issue, affecting AFL, etc. (see here).

I applied the same fix that AFL uses and the segfault disappeared.

sebastianpoeplau commented 4 years ago

Great, thank you!