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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
