Hi Wenbin, It doesn't look like KLEE is configured with the right uclibc path, at least the path it is constructing for libc.a looks bogus (/lib/libc.a).
- Daniel On Tue, Apr 20, 2010 at 7:47 PM, Wenbin Zhang <zhangwen at cse.ohio-state.edu> wrote: > Hi all, > > I?m new to klee and trying to build up coreutil with klee. > > Following 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?????? 0x00000036cf431980 abort + 272 > > 5?? libc.so.6?????? 0x00000036cf429726 __assert_fail + 246 > > 6?? klee??????????? 0x000000000058a541 klee::linkWithLibrary(llvm::Module*, > std::string const&) + 193 > > 7?? klee??????????? 0x0000000000523fbe > > 8?? klee??????????? 0x000000000052bafc main + 7052 > > 9?? libc.so.6?????? 0x00000036cf41d8a4 __libc_start_main + 244 > > 10? klee??????????? 0x0000000000521fd9 > > Aborted > > > > I wonder why it looks for libc.a under /lib, and I?m not sure how to direct > it to the correct location. > > In fact, I?m not sure which libc it should point to. I try to modify the > makefile under obj-llvm, changing ?libdir? to /usr/lib and > /my/path/to/uclibc/lib, but neither works. > > > > Could anyone tell me what may be the problem? > > Thanks a lot. > > > > Best, > > --Wenbin > > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
