[klee-dev] Testing newest Coreutils

[Thuan Pham]

Hi,
Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25?
I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE -
LLVM3.4 can compile Coreutils successfully.

Here is the error message I got when I tried to compile Coreutils with
klee-clang wrapper in KLEE - LLVM 3.4

make src/make-prime-list
make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
  CCLD     src/make-prime-list
llvm-link: Unknown command line argument '-fno-common'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-nvj-count'?
llvm-link: Unknown command line argument '-fdiagnostics-show-option'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-disable-licm-promotion'?
llvm-link: Unknown command line argument '-funit-at-a-time'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-unroll-runtime'?
make[1]: *** [src/make-prime-list] Error 1
make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
make: *** [../src/primes.h] Error 2

And here is another error message I got with klee-gcc wrapper. This one I
may understand the reason since llvm-ld does not exist in LLVM-3.4

make src/make-prime-list
make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
  CCLD     src/make-prime-list
Traceback (most recent call last):
  File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in <module>
    main()
  File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main
    os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
  File "/usr/lib/python2.7/os.py", line 344, in execvp
    _execvpe(file, args)
  File "/usr/lib/python2.7/os.py", line 380, in _execvpe
    func(fullname, *argrest)
OSError: [Errno 2] No such file or directory
make[1]: *** [src/make-prime-list] Error 1
make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
make: *** [../src/primes.h] Error 2

Can someone give me some suggestion to fix this compilation issue?
Many thanks,
Thuan
-------------- next part --------------
HTML attachment scrubbed and removed