On 24 November 2016 at 03:57, Thuan Pham <thua...@comp.nus.edu.sg> wrote: > 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
Don't use `klee-gcc`. Just use `wllvm`. There are some "work in progress" instructions on how to use it to build core utils at https://github.com/klee/klee.github.io/pull/58 that will be merged fairly soon. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev