[klee-dev] KLEE ERROR (Coreutils): failed external call: klee_init_env

[Oswaldo Olivo]

Hi,

I have followed the steps for compiling Klee, UCLIBC, STP and Coreutils
given
in :

http://klee.llvm.org/GetStarted.html

and

http://klee.llvm.org/TestingCoreutils.html

After running the command from step 3 of the coreutils tutorial:

*klee --libc=uclibc --posix-runtime ./cat.bc --version

*

I get the following output, with the error "failed external call:
klee_init_env"  :
____________________________________________

KLEE: NOTE: Using model:
/home/oswaldo/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca
KLEE: output directory = "klee-out-8"
KLEE: WARNING: undefined reference to function: __syscall_rt_sigaction
KLEE: WARNING: undefined reference to function: close
KLEE: WARNING: undefined reference to function: close_stdout
KLEE: WARNING: undefined reference to function: fcntl
KLEE: WARNING: undefined reference to function: fstat
KLEE: WARNING: undefined reference to function: fstat64
KLEE: WARNING: undefined reference to function: full_write
KLEE: WARNING: undefined reference to function: ioctl
KLEE: WARNING: undefined reference to function: klee_div_zero_check
KLEE: WARNING: undefined reference to function: klee_init_env
KLEE: WARNING: undefined reference to function: lseek
KLEE: WARNING: undefined reference to function: lseek64
KLEE: WARNING: undefined reference to function: memmove
KLEE: WARNING: undefined reference to function: open
KLEE: WARNING: undefined reference to function: open64
KLEE: WARNING: undefined reference to function: quote
KLEE: WARNING: undefined reference to function: read
KLEE: WARNING: undefined reference to function: readlink
KLEE: WARNING: undefined reference to function: safe_read
KLEE: WARNING: undefined reference to function: version_etc
KLEE: WARNING: undefined reference to function: write
KLEE: WARNING: undefined reference to function: xmalloc
KLEE: WARNING: undefined reference to function: kill (UNSAFE)!
KLEE: WARNING: executable has module level assembly (ignoring)
KLEE: WARNING ONCE: calling external: ioctl(0, 21505, 176221000)
KLEE: WARNING ONCE: calling __user_main with extra arguments.
KLEE: WARNING ONCE: calling external: klee_init_env(176196176, 176196064)
KLEE: ERROR: /home/oswaldo/coreutils-6.11/obj-llvm/src/../../src/cat.c:514:
failed external call: klee_init_env
KLEE: NOTE: now ignoring this error at this location

KLEE: done: total instructions = 9336
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1

________________________________

Any ideas of what the problem is ?
Is it not loading posix libraries properly ?
I'm compiling this on Ubuntu 12.04.
Thanks,
 Oswaldo.
-------------- next part --------------
HTML attachment scrubbed and removed