[klee-dev] problem with running coreutils

[张晓东-sei]

Hi,

when I symbolically executed coreutils-6.11 according to 
http://klee.github.io/klee/TestingCoreutils.html, I encountered a error, 
as following:

*******************************************************
xdzhang at Host:~/klee/test/coreutils-6.11/obj-llvm/src$klee --libc=uclibc 
--posix-runtime ./echo.o --sym-arg 3
KLEE: NOTE: Using klee-uclibc : 
/home/xdzhang/klee/klee/Release+Asserts/lib/klee-uclibc.bca
KLEE: NOTE: Using model: 
/home/xdzhang/klee/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca
KLEE: output directory is 
"/home/xdzhang/klee/test/coreutils-6.11/obj-llvm/src/./klee-out-5"
KLEE: WARNING: undefined reference to function: __ctype_b_loc
KLEE: WARNING: undefined reference to function: close_stdout
KLEE: WARNING: undefined reference to function: parse_long_options
KLEE: WARNING ONCE: calling external: syscall(54, 0, 21505, 168214944)
KLEE: WARNING ONCE: calling __user_main with extra arguments.
KLEE: WARNING ONCE: calling external: parse_long_options(2, 167127256, 
170436608, 167182488, 166798168, 166604168, 175242816, 0)
KLEE: ERROR: (location information missing) failed external call: 
parse_long_options
KLEE: NOTE: now ignoring this error at this location

KLEE: done: total instructions = 6451
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1
******************************************************

My OS is ubuntu 12.04 32bit. My Klee is runing on llvm 3.3, and the 
compiler transforming source code to LLVM bytecode is clang 3.2.
So, do you know what's wrong with my operations?

Thanks.

xdzhang

-------------- next part --------------
HTML attachment scrubbed and removed