Hello everyone, I am a novice with KLEE under LLVM. I am trying to build a KLEE project (on a new LLVM environment) and I have the following problem: echo Testing... Testing... echo There should be no assertion fails! There should be no assertion fails! klee -taint=direct taint_direct.o KLEE: output directory = "klee-out-8" klee: error: Cannot find linker input '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && "linking in library failed!"' failed. 0 klee 0x00002ac2ccf576df 1 klee 0x00002ac2ccf57c49 2 libpthread.so.0 0x00002ac2cd8ffcb0 3 libc.so.6 0x00002ac2ce55b425 gsignal + 53 4 libc.so.6 0x00002ac2ce55eb8b abort + 379 5 libc.so.6 0x00002ac2ce5540ee 6 libc.so.6 0x00002ac2ce554192 7 klee 0x00002ac2cc78779d klee::linkWithLibrary(llvm::Module*, std::string const&) + 253 8 klee 0x00002ac2cc783954 klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, klee::InterpreterHandler*) + 2180 9 klee 0x00002ac2cc73715d klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions const&) + 157 10 klee 0x00002ac2cc71a94a main + 3546 11 libc.so.6 0x00002ac2ce54676d __libc_start_main + 237 12 klee 0x00002ac2cc72da6d make: *** [direct] Aborted (core dumped) The problem is that KLEE is trying to look into /tmp/taint/....libkleeRuntimeIntrinsic.bca and not into /home/myfolder/taint/...where libkleeRuntimeIntrinsic.bca does exist. I think I set correctly all the paths when I installed KLEE (and not from the /tmp/ folder). Do you know how I can solve this problem, what command lines to make KLEE not to point to the /tmp/ folder ? Thank you in advance ! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130605/f790d727/attachment.html>
Hi, The klee library directory is determined at compile time and cannot be changed afterwards. Have a look at tools/klee/main.cpp to see how it is computed. I usually use Klee without any install step, right from the build directory. This has never given me the error you see. Hope this helps, Jonas On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote:> Hello everyone, > > I am a novice with KLEE under LLVM. I am trying to build a KLEE project > (on a new LLVM environment) and I have the following problem: > > echo Testing... > Testing... > echo There should be no assertion fails! > There should be no assertion fails! > klee -taint=direct taint_direct.o > KLEE: output directory = "klee-out-8" > klee: error: Cannot find linker input > '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' > klee: ModuleUtil.cpp:51: llvm::Module* > klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && > "linking in library failed!"' failed. > 0 klee 0x00002ac2ccf576df > 1 klee 0x00002ac2ccf57c49 > 2 libpthread.so.0 0x00002ac2cd8ffcb0 > 3 libc.so.6 0x00002ac2ce55b425 gsignal + 53 > 4 libc.so.6 0x00002ac2ce55eb8b abort + 379 > 5 libc.so.6 0x00002ac2ce5540ee > 6 libc.so.6 0x00002ac2ce554192 > 7 klee 0x00002ac2cc78779d klee::linkWithLibrary(llvm::Module*, > std::string const&) + 253 > 8 klee 0x00002ac2cc783954 > klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, > klee::InterpreterHandler*) + 2180 > 9 klee 0x00002ac2cc73715d > klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions > const&) + 157 > 10 klee 0x00002ac2cc71a94a main + 3546 > 11 libc.so.6 0x00002ac2ce54676d __libc_start_main + 237 > 12 klee 0x00002ac2cc72da6d > make: *** [direct] Aborted (core dumped) > > The problem is that KLEE is trying to look into > /tmp/taint/....libkleeRuntimeIntrinsic.bca and not into > /home/myfolder/taint/...where libkleeRuntimeIntrinsic.bca does exist. I > think I set correctly all the paths when I installed KLEE (and not from the > /tmp/ folder). > > Do you know how I can solve this problem, what command lines to make KLEE > not to point to the /tmp/ folder ? > > Thank you in advance ! > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130606/edada585/attachment.html>
Thanks you for your answer ! On Thu, Jun 6, 2013 at 6:39 PM, Jonas Wagner <jonas.wagner at epfl.ch> wrote:> Hi, > > The klee library directory is determined at compile time and cannot be > changed afterwards. Have a look at tools/klee/main.cpp to see how it is > computed. > > I usually use Klee without any install step, right from the build > directory. This has never given me the error you see. > > Hope this helps, > Jonas > > > > > On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu < > alexandruionutdiaconescu at gmail.com> wrote: > >> Hello everyone, >> >> I am a novice with KLEE under LLVM. I am trying to build a KLEE project >> (on a new LLVM environment) and I have the following problem: >> >> echo Testing... >> Testing... >> echo There should be no assertion fails! >> There should be no assertion fails! >> klee -taint=direct taint_direct.o >> KLEE: output directory = "klee-out-8" >> klee: error: Cannot find linker input >> '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' >> klee: ModuleUtil.cpp:51: llvm::Module* >> klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && >> "linking in library failed!"' failed. >> 0 klee 0x00002ac2ccf576df >> 1 klee 0x00002ac2ccf57c49 >> 2 libpthread.so.0 0x00002ac2cd8ffcb0 >> 3 libc.so.6 0x00002ac2ce55b425 gsignal + 53 >> 4 libc.so.6 0x00002ac2ce55eb8b abort + 379 >> 5 libc.so.6 0x00002ac2ce5540ee >> 6 libc.so.6 0x00002ac2ce554192 >> 7 klee 0x00002ac2cc78779d >> klee::linkWithLibrary(llvm::Module*, std::string const&) + 253 >> 8 klee 0x00002ac2cc783954 >> klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, >> klee::InterpreterHandler*) + 2180 >> 9 klee 0x00002ac2cc73715d >> klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions >> const&) + 157 >> 10 klee 0x00002ac2cc71a94a main + 3546 >> 11 libc.so.6 0x00002ac2ce54676d __libc_start_main + 237 >> 12 klee 0x00002ac2cc72da6d >> make: *** [direct] Aborted (core dumped) >> >> The problem is that KLEE is trying to look into >> /tmp/taint/....libkleeRuntimeIntrinsic.bca and not into >> /home/myfolder/taint/...where libkleeRuntimeIntrinsic.bca does exist. I >> think I set correctly all the paths when I installed KLEE (and not from the >> /tmp/ folder). >> >> Do you know how I can solve this problem, what command lines to make KLEE >> not to point to the /tmp/ folder ? >> >> Thank you in advance ! >> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> >> > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >-- Best regards, Alexandru Ionut Diaconescu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130606/93df7528/attachment.html>