<div dir="ltr"><div style="font-family:arial,sans-serif;font-size:13px"><div><div>Hello everyone,<br><br></div>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:<br>
<br>echo Testing...<br>Testing...<br>echo There should be no assertion fails!<br>There should be no assertion fails!<br>klee -taint=direct taint_direct.o<br>KLEE: output directory = "klee-out-8"<br>klee: error: Cannot find linker input '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'<br>
klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && "linking in library failed!"' failed.<br>0  klee            0x00002ac2ccf576df<br>1  klee            0x00002ac2ccf57c49<br>
2  libpthread.so.0 0x00002ac2cd8ffcb0<br>3  libc.so.6       0x00002ac2ce55b425 gsignal + 53<br>4  libc.so.6       0x00002ac2ce55eb8b abort + 379<br>5  libc.so.6       0x00002ac2ce5540ee<br>6  libc.so.6       0x00002ac2ce554192<br>
7  klee            0x00002ac2cc78779d klee::linkWithLibrary(llvm::Module*, std::string const&) + 253<br>8  klee            0x00002ac2cc783954 klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, klee::InterpreterHandler*) + 2180<br>
9  klee            0x00002ac2cc73715d klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions const&) + 157<br>10 klee            0x00002ac2cc71a94a main + 3546<br>11 libc.so.6       0x00002ac2ce54676d __libc_start_main + 237<br>
12 klee            0x00002ac2cc72da6d<br>make: *** [direct] Aborted (core dumped)<br><br></div>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).<br>
<br></div><span style="font-family:arial,sans-serif;font-size:13px">Do you know how I can solve this problem, what command lines to make KLEE not to point to the /tmp/ folder ?</span><br>
<div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div style><span style="font-family:arial,sans-serif;font-size:13px">Thank you in advance !</span></div></div>