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 < [email protected]> 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 <[email protected] > > 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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
