python (12.9k questions)

javascript (9.2k questions)

reactjs (4.7k questions)

java (4.2k questions)

java (4.2k questions)

c# (3.5k questions)

c# (3.5k questions)

html (3.3k questions)

Questions - klee

Undefined reference to klee when building s2e

I'm trying to start a new prject and build s2e in a new directory. But at arounf the 100% mark, it gives me an undefined reference error. The relevant part (imo) is this: [ 92%] Linking CXX executabl...
test-img

mrZ

cmake

makefile

llvm

reverse-engineering

klee

Votes: 0

Answers: 1

Latest Answer

I had the exact same error and solved it with: sudo apt install gcc-9 g++-9 Also check to make sure clang selects the installed gcc-9 toolchain: $ PATH_TO_S2E/install/bin/clang++ -v ... Selected GCC ...
test-img

ssssay

Posts

Questions

Blogs