Hi
I could compile Klee using the patches provided here in this mailing
list. I use a 64 bit Linux environment and LLVM 2.7. Unfortunately Klee
seems to fail its own check suite:
=== Summary ===
# of expected passes 61
# of unexpected failures 44
# of expected failures 3
FAIL: /home/linux/sec/src/klee/test/Dogfood/ImmutableSet.cpp
FAIL: /home/linux/sec/src/klee/test/Expr/Evaluate.pc
XFAIL: /home/linux/sec/src/klee/test/Expr/Evaluate2.pc
FAIL: /home/linux/sec/src/klee/test/Feature/AliasFunction.c
FAIL: /home/linux/sec/src/klee/test/Feature/AliasFunctionExit.c
FAIL: /home/linux/sec/src/klee/test/Feature/GetValue.c
FAIL: /home/linux/sec/src/klee/test/Feature/InAndOutOfBounds.c
FAIL: /home/linux/sec/src/klee/test/Feature/LongDouble.cpp
FAIL: /home/linux/sec/src/klee/test/Feature/LowerSwitch.c
FAIL: /home/linux/sec/src/klee/test/Feature/MakeSymbolicName.c
FAIL: /home/linux/sec/src/klee/test/Feature/MultipleFreeResolution.c
FAIL: /home/linux/sec/src/klee/test/Feature/MultipleReadResolution.c
FAIL: /home/linux/sec/src/klee/test/Feature/MultipleReallocResolution.c
FAIL: /home/linux/sec/src/klee/test/Feature/MultipleWriteResolution.c
FAIL: /home/linux/sec/src/klee/test/Feature/NamedSeedMatching.c
FAIL: /home/linux/sec/src/klee/test/Feature/OverlappedError.c
FAIL: /home/linux/sec/src/klee/test/Feature/ReplayPath.c
FAIL: /home/linux/sec/src/klee/test/Feature/SetForking.c
FAIL: /home/linux/sec/src/klee/test/Feature/WriteCov.c
FAIL: /home/linux/sec/src/klee/test/Feature/const_array_opt1.c
XFAIL: /home/linux/sec/src/klee/test/Programs/pcregrep.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/DirConsistency.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/DirSeek.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FDNumbers.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FD_Fail.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FD_Fail2.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Fcntl.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FilePerm.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FreeArgv.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Getenv.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Ioctl.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Isatty.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/PrgName.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Read1.c
XFAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/SELinux.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/SeedAndFail.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Stdin.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Write1.c
FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Write2.c
FAIL:
/home/linux/sec/src/klee/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
FAIL:
/home/linux/sec/src/klee/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c
FAIL: /home/linux/sec/src/klee/test/Runtime/Uclibc/Environ.c
FAIL: /home/linux/sec/src/klee/test/Solver/LargeIntegers.pc
FAIL:
/home/linux/sec/src/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c
FAIL:
/home/linux/sec/src/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c
FAIL:
/home/linux/sec/src/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
FAIL: /home/linux/sec/src/klee/test/regression/2008-03-11-free-of-malloc-zero.c
make[1]: *** [check-local] Error 1
any idea why this happens?
