[klee-dev] linker problem

[Alexandru Ionut Diaconescu]

Hello,

Thank you for the answer. Sorry for the dummy email sent by mistake.

what I am trying to install is found here *
http://cs.famaf.unc.edu.ar/~rcorin/kleecrypto/* .In the Shell script for
downloading KLEE and applying
patch<http://cs.famaf.unc.edu.ar/%7Ercorin/kleecrypto/downloadpatchcompile.sh>is
all the information.

I assume is the last version of Klee....it is downloaded as *svn -r 141267
co http://llvm.org/svn/llvm-project/klee/trunk klee* .

All the commands are in the script file.

The .o files are obtained as described in the patch file  *
http://keeda.stanford.edu/pipermail/klee-dev/attachments/20121007/6b3c595b/attachment-0001.obj
*

I assume that is the best way to post the links, so the email is straight.

Thank you for any suggestion !




On Wed, Jun 5, 2013 at 8:31 PM, Jonathan Neuschäfer
<j.neuschaefer at gmx.net>wrote:

> On Tue, Jun 04, 2013 at 04:05:17AM -0700, Alexandru Ionut Diaconescu wrote:
> > Hello,
> >
> > I am trying to build a KLEE project (on a new 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 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 ?
>
> We need more information. Which version of klee do you use?
> What where the exact commands you used to build/test klee?
> How did you obtain taint_direct.o, what does it contain?
>
>
> Regards,
> Jonathan Neuschäfer
>



-- 
Best regards,
Alexandru Ionut Diaconescu
-------------- next part --------------
HTML attachment scrubbed and removed