Hey Ren, For me it looks like an RTTI issue. Try to disable the 3 lines in Makefile.rules from 300-302 in the KLEE source directory.
https://github.com/klee/klee/blob/09ed8c23c9ca7e9d35013604e1133a371821dc5f/Makefile.rules#L303 Do a `make clean` and rebuild KLEE. If that helps, please open a bug report (or let me know and I’ll open one for you). I guess we have to update the checks, currently we just disable RTTI if we have > LLVM 2.6. Cheers, Martin > On 03 Nov 2015, at 19:15, Ren Kimura <[email protected]> wrote: > > Hi > I'm trying to build klee but when running make, many link errors occurred. > > $ ./configure > $ sudo make VERBOSE=1 > ... > > llvm[2]: Linking Release+Asserts executable klee (without symbols) > g++ -I/home/rkx/klee/include -I/home/rkx/klee/tools/klee > -I/usr/lib/llvm-3.4/build/include -D_DEBUG -D_GNU_SOURCE > -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer > -fno-exceptions -fno-rtti -fPIC -Woverloaded-virtual -Wcast-qual > -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" > -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g > -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat > -Werror=format-security -g -Wl,-Bsymbolic-functions -Wl,-z,relro -pedantic > -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -g -O2 -Wl,-R > -Wl,'$ORIGIN/../lib' -Wl,-R -Wl,/home/rkx/klee/Release+Asserts/bin -rdynamic > -L/home/rkx/klee/Release+Asserts/lib -L/usr/lib/llvm-3.4/build/Release/lib > -o /home/rkx/klee/Release+Asserts/bin/klee > /home/rkx/klee/tools/klee/Release+Asserts/Debug.o > /home/rkx/klee/tools/klee/Release+Asserts/main.o -lkleeCore -lkleeBasic > -lkleeModule -lkleaverSolver -lkleaverExpr -lkleeSupport \ > -lLLVM-3.4.2 -lpthread -lffi -ltinfo -ldl -lm -lstp -lminisat > /home/rkx/klee/tools/klee/Release+Asserts/main.o: In function > `KleeHandler::openOutputFile(std::__cxx11::basic_string<char, > std::char_traits<char>, std::allocator<char> > const&)': > /home/rkx/klee/tools/klee/main.cpp:382: undefined reference to > `llvm::raw_fd_ostream::raw_fd_ostream(char const*, > std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, llvm::sys::fs::OpenFlags)' > > ... > (and many similar errors) > ... > > I've checked that libLLVM-3.4.2.so exports above functions correctly by nm > command. > > Why this happen? > Thanks. > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev --------------------------------------------------- Martin Nowack Research Assistant Technische Universität Dresden Computer Science Institute of Systems Architecture Systems Engineering 01062 Dresden Phone: +49 351 463 39608 Email: [email protected] ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
