[LLVMdev] klee linker problem

[Alexandru Ionut Diaconescu]

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>