[LLVMdev] klee linker problem

[Jonas Wagner]

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>