Hi,
when I symbolically executed coreutils-6.11 according to
http://klee.github.io/klee/TestingCoreutils.html, I encountered a error,
as following:
*******************************************************
xdzhang@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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
