Displaying 3 results from an estimated 3 matches for "linkwithlibrary".
2013 Jun 05
2
[LLVMdev] klee linker problem
...d 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 0x00...
2013 Jun 06
0
[LLVMdev] klee linker problem
...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 + 5...
2010 Apr 22
0
[LLVMdev] problem when building coreutil
...ollowing the steps online (http://klee.llvm.org/TestingCoreutils.html), I
went to step 3 and stuck.
When I try to run:
klee --libc=uclibc --posix-runtime ./cat.bc -version
Error occurred like:
klee: error: Cannot find linker input '/lib/libc.a'
klee: ModuleUtil.cpp:42: llvm::Module* klee::linkWithLibrary(llvm::Module*,
const std::string&): Assertion `0 && "linking in library failed!"' failed.
0 klee 0x0000000000e3b21f
1 klee 0x0000000000e3bcda
2 libpthread.so.0 0x00000036d000dd40
3 libc.so.6 0x00000036cf430015 gsignal + 53
4 libc.so.6...