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

LLVM 12 support #70

Closed wanaks closed 3 years ago

wanaks commented 3 years ago

I've been poking around at attempting to add support for LLVM 12. Is this something someone else has looked at or made progress on? I took a first stab at it, and while I can build libSymbolize.so, when I try to run it on some sample code, I get the following error:

error: unable to load plugin '<plugin_path>': '<plugin_path>: undefined symbol: _ZTIN4llvm10CallbackVHE`

Any insight is appreciated.

wanaks commented 3 years ago

This turned out to be an issue with my environment. On a clean install, everything seems to work out of the box with LLVM 12.