<div dir="ltr">Thanks you for your answer !<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 6, 2013 at 6:39 PM, Jonas Wagner <span dir="ltr"><<a href="mailto:jonas.wagner@epfl.ch" target="_blank">jonas.wagner@epfl.ch</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi,<div><br></div><div>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.</div>
<div><br></div>

<div>I usually use Klee without any install step, right from the build directory. This has never given me the error you see.</div><div><br></div><div>Hope this helps,</div><div>Jonas</div><div>

<br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu <span dir="ltr"><<a href="mailto:alexandruionutdiaconescu@gmail.com" target="_blank">alexandruionutdiaconescu@gmail.com</a>></span> wrote:<br>


</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><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><span style="font-family:arial,sans-serif;font-size:13px">Thank you in advance !</span></div></div>
<br></div></div>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><font style="background-color:rgb(255,255,255);color:rgb(153,153,153)">Best regards,</font><br style="background-color:rgb(255,255,255);color:rgb(153,153,153)"><font style="background-color:rgb(255,255,255);color:rgb(153,153,153)">Alexandru Ionut Diaconescu</font><br>

</div>