[klee-dev] linker problem

[Alexandru Ionut Diaconescu]

Hello,

It seems that I do ln -s /home/alex/taint/ /tmp/taint as a symbolic link it
works. I don't know other solution, the /tmp/ is in the bytecode of klee.


On Wed, Jun 5, 2013 at 12:04 PM, Alexandru Ionut Diaconescu <
alexandruionutdiaconescu at gmail.com> wrote:

> 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
>



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